- 程序有所改变。发帖如还有问题请报告
- 【征集】西西河的经济学，及清流措施，需要主动参与者，『稷下学宫』新认证方式，24年网站打算和努力目标
主题：【原创】神经网络和人脑运作的数学原理是相通的 -- 真理
共:💬24 🌺114 新:
莱斯定理证明：关于计算机程序的任何一个非平凡特征都是不可判定的。
这里的非平凡特征简单说就是一部分程序有，一部分程序没有的特征，也就是需要判定的特征（平凡特征是所有程序都有或者都没有的特征，所以也不需要判定），包括停机，内存泄漏，被0除等等。
这些不可判定问题以及哥德尔不完全性定理，都和“自指”有关，也就是“理发师悖论”。人类虽然也不能说解开了这些悖论，但至少有跳出这些悖论的能力，但计算还不清楚有没有类似的能力。
- 相关回复 上下关系8
压缩 5 层
🙂图灵机是一个模型，类似质点和刚体 1 潜望镜 字612 2023-07-18 05:09:55
🙂图灵机是上限而不是下限 3 假设 字796 2023-07-21 00:37:36
🙂人脑起嘛一点目前超过图灵机 3 Swell 字714 2023-07-21 20:28:56
🙂停机问题只是不可判定问题的一种
🙂人脑当然高效啊 4 Swell 字976 2023-07-20 12:52:19
🙂这个叫元学习 3 假设 字1149 2023-07-21 00:08:34
🙂毛主席也支持我们的观点啊 2 贼不走空 字1473 2023-07-20 22:06:21
🙂AI的进化里程碑 2 贼不走空 字370 2023-07-22 12:07:17