Kurt Gödel 留下了1,009页密密麻麻的文字，许多文字用已过时的速记法写成，据说这部分文字里包含着数百个已经证明的定理
Kurt Gödel 留下了 1,009 页密密麻麻的文本 – 很大一部分是过时的手写速记 – 现在说它包含了数百个已经证明的定理
奥地利逻辑学家 Kurt Gödel 是 20 世纪最具创意的思想家之一。他的两个 不完整性定理，1931 年出版，彻底改变了数学并为数字时代开启了大门。
1930 年代的开创性成果之后， Gödel 只发表了几篇论文。然而，他的未发表作品却达到了数万页，科学史学家对此极为感兴趣。
…
以下为原文节录，仅供导读。完整报道与著作权均属原媒体与原作者所有，请点击下方链接前往原始出处阅读。
前往原文 / Original Source →
编辑评论 / Editor's Note
数学家古德尔的遗产一直是学术界的研究重点，他的笔记本中包含了许多重要的数学发现和证明。通过人工智慧技术的协助，研究人员现在可以更快速地解码和分析古德尔的笔记，从而揭示更多的数学奥秘。这项突破性的工作不仅展现了古德尔的天才，也体现了人工智慧在解开历史秘密中的重要作用。