作者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