您大概误解了,他只是证明了某些公理系统不能同时作到effective, complete and consistent。

回答: 抓住了重点 无门关就是自相矛盾的JSL20232023-11-30 21:21:46

所有跟帖: 

我是好奇作者为什么用无门关引出G?del -JSL2023- 给 JSL2023 发送悄悄话 (0 bytes) () 11/30/2023 postreply 21:44:31

看了一下书的简介,似乎作者意不在逻辑而在人类认知上。所以并不是只有矛盾才是对的,而是有些表达有矛盾要如何纳入认知体系? -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 11/30/2023 postreply 21:56:00

GEB 值得一读 -JSL2023- 给 JSL2023 发送悄悄话 (0 bytes) () 12/01/2023 postreply 06:53:22

去买一本看看,看完回来repo。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 12/01/2023 postreply 14:19:00

请您先登陆,再发跟帖!