ゲーデル不完全性定理

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

物理学者グループがローレンス・クラウスを含む最新の論文で、「万物の理論」が数学的に不可能であることを証明したと主張している。彼らはゲーデルの不完全性定理、タルスキーの未定義性定理、チャイティンのアルゴリズム複雑性理論という3つの数学的不可能...