21/10/27 19:27:25.29 aPLQfV8M.net
>>586
URLﾘﾝｸ(www.youtube.com)
この動画の人、論理学も集合論も知らなさそう
（ま、そんな数学者珍しくないけど）
終わりのほうの「俺、他の数学者より基礎論知ってるぞ」
とかいう謎のアピールもなんか痛々しい
1870-1970もただ年号だしただけで意味不明
1870はカントールの集合論が誕生した頃のつもりかもしれんし
1970はコーエンの連続体仮説の独立性証明が出たあとのつもりかもしれんが
どっちもカントールにもコーエンにも言及してないからわけわからん
なんか基礎づけとかメタ数学とか超数学に
わけもわからずカチンときたみたいだけど
別にメタ数学（＝超数学）というのは
ヒルベルトが数学の無矛盾性証明のために考えた
原始帰納的算術レベルの数学のことであって
別に全数学の上に立つようなものではなくて
むしろそれこそ全数学の土台と考えたほうがいい
ただ、自然数論の無矛盾性ですら
そんな土台では証明できないとわかって
基礎づけとしての「基礎論」ブームは去った
ま、数理論理学や集合論は
そんなこととは全く無関係に
地道に研究されてるわけで、
上記の動画の主が一体
何を専攻してるか知らんけど
「衰退した」だの「オワコン」だの
勝手なことぬかしてんじゃねえよ
というのが正直な感想ではある