[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
128(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/30(土)18:46 ID:9Sqq12HI(2/4) AAS
>>127
>そもそもZFCがファイナルアンサーだと思ってるのは
>●違いなHNをコテハンで●違いなコピペを繰り返す奴だけ
>ついでにいえば、圏は集合を超えるためのものではない
最初の”ZFCがファイナルアンサーだと思ってる”については
下記 渕野氏 『加藤文元さんの 「原理的にはZFCの言葉に全部置き換えることができるという信念の下に数学者は仕事をしていると思うのですが…」という発言』（2016年）
な、百回音読してね ；ｐ）
次の”圏は集合を超えるためのものではない”
かもしらんが、実際には 下記の『圏論的な〈ものの見方・考え方〉入門』西郷甲矢人 著 · 2021
の通りで、”物理だけでなく，認知. 科学や哲学といった，数学とは一見遠い分野の考え. 方をつなぐ新しい言葉としても，最近は圏論が少し. 知られるように”とある通り
省13
130: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/30(土)22:00 ID:9Sqq12HI(4/4) AAS
>>1
>なぜ、ZFC公理まで遡らなくても数学が出来るの？
>公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず
下記 youtu.be
"大学数学は厳密であるほど良い←誤解です（ブルバキの功罪）"
これが、一つの見方で
かつ 重要な見方です
(参考)
動画ﾘﾝｸ[YouTube]
大学数学は厳密であるほど良い←誤解です（ブルバキの功罪）
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.995s*