从说谎者悖论开始理解,自指只是一方面,更基础的还有“negativity”, 也就是先假设G没有goedel数对应。
所有跟帖:
• 没明白你想说什么:) -JSL2023- ♂ (0 bytes) () 01/15/2024 postreply 17:37:26
• GEB是从G不是一个Theorem开始讲起的。这和Liars Paradox一样, -露重烟微- ♀ (130 bytes) () 01/15/2024 postreply 19:11:12
• 恭喜,思考题做对了:) -JSL2023- ♂ (0 bytes) () 01/15/2024 postreply 19:21:38