Kurt Gödel 留下了1,009頁密密麻麻的文本，許多文本是使用已經過時的速記法寫成的，現在被說是包含了數百個被證明的定理
Kurt Gödel 離下了 1009 頁密密的書面文字 – 大部分是過時的速記 – 現在被認為包含了數百個已證明的定理
奧地利數理學家 Kurt Gödel 是 20 世紀最具原創性的思維者之一。他的兩個 不完整定理，於 1931 年發表，改變了數學並為數位時代鋪路。
1930 年代的他取得了里程碑式的成果後，Gödel 只發表了幾篇論文。然而，他的未出版作品卻有數萬頁，對科學史學家而言非常有趣。
…
以下為原文節錄，僅供導讀。完整報導與著作權均屬原媒體與原作者所有，請點擊下方連結前往原始出處閱讀。
前往原文 / Original Source →
編輯評論 / Editor's Note
數學家古德爾的遺產一直是學術界的研究重點，他的筆記本中包含了許多重要的數學發現和證明。通過人工智慧技術的協助，研究人員現在可以更快速地解碼和分析古德爾的筆記，從而揭示更多的數學奧秘。這項突破性的工作不僅展現了古德爾的天才，也體現了人工智慧在解開歷史秘密中的重要作用。