注册 |登录

stevenguan的个人博客分享 http://blog.sciencenet.cn/u/stevenguan

分享

分享了一篇博文

2013-5-23 17:51
哥德尔定理的证明——2魔鬼的设计
应行仁
哥德尔要在形式公理系统里，放进一个“自我纠缠”的魔鬼，用系统里的公式表达“这个公式是不可证明的”含义，构造一个不可判定的命题。如果他做到了，这系统若 ...

评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-21 03:45

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部