Interuniversal geometry とABC 予想59 
at MATHInteruniversal geometry とABC 予想59 
 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト700:１３２人目の素数さん 26/01/10 10:29:56.78 lk8KqbVj.net 思うに氏はIVを書いた時点で ・数学が一階述語論理上の理論である ということを認識してなかったんじゃないデスかねー （なにせZFCGはZFCの保存拡大だと思ってたくらいだから そしてたぶん今でも理解を拒絶してる「認知的不協和」状態） IVでは単に「ZFC」だったのが年頭ブログでは 「一階述語理論としてのZFC」になってるわけなんだが おそらくは「一階述語論理」という言葉自体 形式化の話を聞くまで気にしたこともなかったんじゃ？ （メタ数学やらないんならそれで無問題 しかしメタ数学をやるんなら細心の注意がいるところ） ブログでは自身の無理解の責任を転嫁して ・多くの数学者が脳内で当たり前に処理してること なんてゴマかしてるんじゃないデスかねー そして形式化できなかった際の言い訳として ・「Leanの専門家」が不自然なことをしてるせい を用意してるのかしらん 701:１３２人目の素数さん 26/01/10 15:01:54.02 lk8KqbVj.net 「多くの数学者が当たり前に脳内で無意識のうちに こなしている」ようなことを集合論（メタ数学）でやったら 絶対にアカン！というのは集合論を学ぶ際に イの一番に叩き込まれることデスよねー 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch