[问卦] 哥德不完备定理跟哥德卫士有啥关联? 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

蒙古烤肉跟蒙古骑兵有关吗？

继续阅读