作者clouddeep (独行道)
看板W-Philosophy
标题Re: [闲聊] 有高手可以讲一下哥德的不完备性定理吗?
时间Wed Dec 28 20:48:32 2005
※ 引述《realove (realove)》之铭言：
: Godel's incompletness theorem大概在讲什麽
: 有人可以说一下吗 谢~
一个逻辑系统不能用来证明自己成立，
就是自己不能用来证明自己。
--
有错请指正
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.58.2.130
1F：推 RitsuN:我依稀记得是 axiom 不是逻辑系统 ?_? 12/28 21:13