沃新书屋 - 皇帝新脑 - 丰富的资料,幼稚的论断。

丰富的资料,幼稚的论断。

来源:豆瓣   发布时间:2025-05-20 17:59:04

我很好奇,彭罗斯先生既然如此努力地去罗列和评析并非他本行的知识:停机问题的算法不可解性和哥德尔不完备性,它们分别是计算理论和数理逻辑的内容(彭罗斯的专长领域并不在此),为什么没有注意到:除了停机问题,还有这么多“简单得不行”的不可判定问题?例如常数问题:https://en.wikipedia.org/wiki/Constant_problemhttps:/...>>查看原文