1931年：クルト・ゲーデルが数学、論理学、計算、AIの限界を示す

この記事は、ゲーデルの不完全性定理と、それが計算とAIの基礎となる形式システムの限界に与える影響について論じている可能性が高い。記事の焦点は、歴史的背景と、ゲーデルの業績がこの分野に与えた影響である。