Inter-universal geometry と ABC予想 (応援スレ) 44at MATHInter-universal geometry と ABC予想 (応援スレ) 44 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト850:１３２人目の素数さん 20/05/03 15:29:24 bqaIyPqZ.net 量子論と相対性理論と並べてわかる、賛同者の少なさ。 851:１３２人目の素数さん 20/05/03 15:34:42 vVCZgnBw.net どうせなら数学の理論を出してほしかったな フレーゲ：算術の基本法則 →ラッセルがパラドックスでひっくり返す ヒルベルト：算術の無矛盾性証明計画（ヒルベルト・プログラム） →ゲーデルが不完全性定理でひっくり返す 重要なのは両者とも、もともとその気はなかったけど つい発見してしまったというところ 852:１３２人目の素数さん 20/05/03 15:36:29 2M32vaJJ.net ともかく 「望月の数十ページに渡る再反論コメント、懇切な説明に対して、ショルツは1年以上に渡って正式な再々反論をしていない 出来なかった」 これで勝負が完全についたという急 853:所を頭に置けよバカは 学問的に正当で常識的な 負け犬の遠吠えまるだしを繰り返して恥の上塗りをしてるんじゃないわ 854:１３２人目の素数さん 20/05/03 15:45:18 vVCZgnBw.net 雑談氏が、「IUT不成立だろHiladoの学位論文が・・・」といってるけど ゲーデルの不完全性定理によって、 アッカーマンの学位論文である原始帰納的算術の無矛盾性証明が 原始帰納的算術以外の前提（ω^ω^ωの超限帰納法）を使ってる ことが露見した、という逸話もある （「ゲーデル 不完全性定理」岩波文庫 p228-231） 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch