Inter-universal geometry と ABC予想 (応援スレ) 74 (983ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
796(1): 09/06(土)19:58 ID:DLHtgH0o(7/8) AAS
>>無限回の操作は正当化されない
> その考えだと、20世紀後半から21世紀の数学の理解は難しいだろうね
19世紀以降の数学の理解が全然出来てない素人がそんなこといってもねえ（笑）
デデキントの有理数の切断による実数の定義ダメ
カントールの有理コーシー列の同値類による実数の定義も集合論もダメ
フレーゲの述語論理ダメ
それで圏論？それで二階論理？何言ってんの？
803(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:42 ID:JgP2aXhR(13/14) AAS
>>796
>それで圏論？それで二階論理？何言ってんの？
いやー
マジレスすると
前にも書いたが
下記の 数学セミナー 池上大祐”フェルマーの最終定理はZFCの下で証明できるか？”
私見だが 二つ
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s