主题：【原创】从凝聚态物理开始乱侃. (一)背景知识 -- 衲子
共:💬37 🌺19
文中对哥德尔定理和停机问题叙述都有一点点问题。
首先哥德尔不完备定理有两个，第一定理大致如文中所说，一个形式化理论，如果足够复杂，而且一致的话（指不能同时推导出A和非A来），就一定存在某命题，既不可证明，也不可否定。这里面足够复杂指起码要能够定义自然数。
第二定理指如果形式化系统包括自然数和基本逻辑推导的话，则它不能证明自身的一致性。
停机问题较为简单，指不存在一个通用的算法来判断给定某图灵机M接受输入I后是否会停机。
- 相关回复 上下关系8
【建议】衲师傅 fcboliver 字49 2005-11-13 19:01:24
唉呀, 其实还有好几章的. 俺先把上一章末尾问题的答案说了吧 衲子 字68 2005-11-15 00:16:32
【文摘: 数学故事】哥德尔不完备性定理浅释 3 衲子 字19213 2005-06-09 06:24:42
商榷一下
【文摘. 附衲评】 人工智能大辩论 1 衲子 字14097 2005-06-09 06:30:25
AI还有伦理上的阻碍。 赫然 字210 2005-11-04 23:47:20
一些"西西河科技版精品"旧作链接无效, 何故? 衲子 字113 2005-06-09 06:18:36
(四) 执子之手: 超导电子对 3 衲子 字5201 2005-06-09 06:06:22