形式システム

この講演は、20世紀最大の数学的発見の一つであるクルト・ゲーデルの不完全性定理について包括的に解説している。ラッセルとホワイトヘッドの「プリンキピア・マテマティカ」が目指した数学の完全な形式化という野心的なプロジェクトが、いかにしてゲーデル...