tag:blogger.com,1999:blog-4013660499115623904.post8166298164942913451..comments2023-04-06T22:51:02.758+08:00Comments on 星之一角: Gödel's incompleteness theoremsLin Jen-Shin (godfat)http://www.blogger.com/profile/04471393622959484230noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4013660499115623904.post-79398421696651719082011-11-21T05:05:38.720+08:002011-11-21T05:05:38.720+08:00重翻了一次,發現我誤解了這句話:
Sentence G: This statement is not...重翻了一次,發現我誤解了這句話:<br />Sentence G: This statement is not a theorem of TNT.<br />一直想成 this statement is false.... orz<br /><br />感謝!<br />明天再重看一次..Lin Jen-Shin (godfat)https://www.blogger.com/profile/04471393622959484230noreply@blogger.comtag:blogger.com,1999:blog-4013660499115623904.post-22825365885292454392011-11-21T04:59:00.871+08:002011-11-21T04:59:00.871+08:00inconsistent 講的是系統裡有矛盾,incomplete 才是說存在 true state...inconsistent 講的是系統裡有矛盾,incomplete 才是說存在 true statement 但無法證明。Anonymoushttps://www.blogger.com/profile/11737937932880881419noreply@blogger.com