Re: [閒聊] 有高手可以講一下哥德的不完備性定理嗎?

看板W-Philosophy作者 (獨行道)時間18年前 (2005/12/28 20:47), 編輯推噓1(100)
留言1則, 1人參與, 最新討論串2/4 (看更多)
※ 引述《realove (realove)》之銘言: : Godel's incompletness theorem大概在講什麼 : 有人可以說一下嗎 謝~ 一個邏輯系統不能用來證明自己成立, 就是自己不能用來證明自己。 -- 有錯請指正 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 210.58.2.130

12/28 21:13, , 1F
我依稀記得是 axiom 不是邏輯系統 ?_?
12/28 21:13, 1F
文章代碼(AID): #13ieb-o4 (W-Philosophy)
討論串 (同標題文章)
文章代碼(AID): #13ieb-o4 (W-Philosophy)