1931年：库尔特·哥德尔展示数学、逻辑、计算、AI的局限性

这篇文章可能讨论了哥德尔不完备定理及其对形式系统局限性的影响，而形式系统是计算和人工智能的基础。文章的重点是历史背景以及哥德尔的工作对该领域的影响。