Inter-universal geometry と ABC予想 (応援スレ) 44

Inter-universal geometry と ABC予想 (応援スレ) 44at MATH

Inter-universal geometry と ABC予想 (応援スレ) 44 - 暇つぶし2ch854:１３２人目の素数さん
20/05/03 15:45:18 vVCZgnBw.net
雑談氏が、「IUT不成立だろHiladoの学位論文が・・・」といってるけど

ゲーデルの不完全性定理によって、
アッカーマンの学位論文である原始帰納的算術の無矛盾性証明が
原始帰納的算術以外の前提（ω^ω^ωの超限帰納法）を使ってる
ことが露見した、という逸話もある
（「ゲーデル　不完全性定理」岩波文庫　p228-231）

次ページ

続きを表示

1を表示