自指还有一个别名:“怪圈”。然而我认为“怪圈”的范围似乎更广。比如一条想把自己吞掉的蛇就形成了一个怪圈,埃舍尔的很多画都在反映怪圈。怪圈会产生悖论,也就是让人们左右为难的命题。比如上面的那句话:这句话是错的。另外,著名的悖论还有罗素悖论,它直接动摇了集合论的基石。而后来哥德尔通过同样的悖论推理把悖论引到了逻辑中,从而颠覆了希尔伯特的梦想。之后,图灵运用同样的怪圈悖论逻辑证明了图灵停机定理,并指出了计算机的极限。可想而知,怪圈和悖论在经典理论中所起到的深刻作用。然而,人们普遍的一种看法总是认为悖论、怪圈是不好的、矛盾的,所以人们尽量要避免它、消除它。 | 自指还有一个别名:“怪圈”。然而我认为“怪圈”的范围似乎更广。比如一条想把自己吞掉的蛇就形成了一个怪圈,埃舍尔的很多画都在反映怪圈。怪圈会产生悖论,也就是让人们左右为难的命题。比如上面的那句话:这句话是错的。另外,著名的悖论还有罗素悖论,它直接动摇了集合论的基石。而后来哥德尔通过同样的悖论推理把悖论引到了逻辑中,从而颠覆了希尔伯特的梦想。之后,图灵运用同样的怪圈悖论逻辑证明了图灵停机定理,并指出了计算机的极限。可想而知,怪圈和悖论在经典理论中所起到的深刻作用。然而,人们普遍的一种看法总是认为悖论、怪圈是不好的、矛盾的,所以人们尽量要避免它、消除它。 |