[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
78(2): 2024/11/17(日)21:22 ID:cugt1V1g(10/12) AAS
>>76
>>一方、圏論は一階述語論理に限られないので、流行っています ｗ ；ｐ）
>それは違くて
>お門違いのものが群がってて流行ってるように見えてるだけ
グロタンディークが、数学の流れを
集合中心から、圏論中心に変えてしまった
下記の『数学原論 斎藤 毅』東京大学出版会
省32
79(1): 2024/11/17(日)23:29 ID:cugt1V1g(11/12) AAS
>>78
>下記の『数学原論 斎藤 毅』東京大学出版会
>をご覧あれ
(参考)
www.ms.u-tokyo.ac.jp/~t-saito/jd/%E6%95%B0%E5%AD%A6%E5%8E%9F%E8%AB%96.pdf
本書について斎藤先生が「UP」にエッセイをご執筆されています。こちらのPDFファイルをご覧ください
数学原論 現代数学全体に確固たる基礎を与えよう Ｎブルバキ
省26
81: 2024/11/18(月)07:03 ID:aerfUeO/(1/2) AAS
>>1
>なぜ、ZFC公理まで遡らなくても数学が出来るの？
>公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず
>>79-80が、斎藤 毅先生の一つの回答だね
・ブルバキ Eléments （数学原論）は、”抽象数学のことばで数学全体を集合論の上に基礎づけて体系的に展開した記念碑的な本”
（だが、決して全て ZFC公理まで遡っているわけではない。ここは重要ポイントだね）
・”圏論に基礎としての役割を与えるかどうかブルバキの中で確執があったらしい
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s