河東泰之「セミナーの準備のしかたについて」は本当に正しいのか?at MATH河東泰之「セミナーの準備のしかたについて」は本当に正しいのか? - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト451:132人目の素数さん 23/12/13 06:59:30.79 s62ezuyd.net >>412 >・ネーミングで、中身がすぐ変わるはずもない > 「数理論理学」の定義は? > 「数学基礎論」の定義は? 誰に尋ねてんの? 「ゲーデルの不完全性定理で数学基礎論は死んだ」と言ってる人は 数学基礎論を「数学の基礎づけのための行為」といってますよね 日本語読めてない? で、ゲーデル以後は数学を用いた論理学の研究としての 「数理論理学」だということですよね で、それを完全に決定づけたのがコーエンのフォーシングによる 一般連続体仮説と選択公理の決定不能姓 要するに集合論のモデルは一つではなく、無数にあるということ 群のモデルが無数にあるのと同じだよね そういう意味で 集合論は群論同様只の数学に成り果てた エポックになる発見の時期の前後で分野の中身はがらっと変わるんだよ 君は素人のままだから死ぬまで理解できないだろうけど 452:132人目の素数さん 23/12/13 07:02:16.96 s62ezuyd.net 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch