[問卦] 哥德不完備定理跟哥德衛士有啥關聯? lturtsamuel PTT批踢踢實業坊

作者: lturtsamuel (æ¸¯éƒ½éƒ½æ•™æŽˆ) 2015-09-25 00:18:45

各位還沒睡的死肥宅安安><
任何相容的形式系統，只要蘊涵皮亞諾算術公理，就可以在其中構造在體系中不能被證明
的真命題，因此通過推演不能得到所有真命題（即體系是不完備的）
所以什麼是哥德不完備定理?
跟哥德衛士有關嗎?
有沒有八卦?

作者: a1122334424 (kuroneko) 2015-09-25 00:19:00

可能跟哥德蘿莉比較有關係

作者: Mahoutsukai (魔法使い) 2015-09-25 00:19:00

跟哥德蘿莉又有什麼關係？

作者: p90ep90e (IAmTheWalkingDisaster) 2015-09-25 00:20:00

你裝金山衛士就知道了

作者: aynmeow (只有我跟喵喵) 2015-09-25 00:21:00

可用墨菲定律可以證明: 莫非兩者有關係!?? 得證

作者: caesst85149 (cajhwunc) 2015-09-25 00:21:00

哥德寶寶→哥德小童→哥德小姐

作者: marx0126 (What's up?) 2015-09-25 00:21:00

跟360手機衛士比較有關

作者: mayjan 2015-09-25 00:23:00

不管你發明的証明系統多好多強總存在証不出來的命題

作者: bye2007 ( ) 2015-09-25 00:24:00

用比較白話來講有些數學命題無法被證明但也無法被反證

作者: mayjan 2015-09-25 00:24:00

這種証不出來的東西通常都是牽扯到無限超乎人類經驗到目前為止這類命題好像看不到幾個

作者: bravo233295 (Dr. Tsai) 2015-09-25 00:33:00

快來證明我的雞雞不存在吧

作者: grandwar 2015-09-25 00:37:00

蒙古烤肉跟蒙古騎兵有關嗎？

繼續閱讀