[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
832(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/16(土)12:19 ID:I/5uqoYj(19/65) AAS
>>829
どうも
>用語の統一もできないのなら本職の意味なんてあるのだろうか
さあ？
ただ 正直、望月先生がIUT IVで 引用している文献が古いと思う
（下記、[Drk] (1974).とか）
いまのトレンドは、「逆数学」（下記）って知っているのかな？（＾＾；
省10
834(3): 2020/05/16(土)12:27 ID:6fNaHtEL(8/9) AAS
>>832
今の数学ってそんなことをやってたのか…
abc conjectureが正しいかどうかじゃなくて正しくなるような世界を構築しようとしているような
神学論争のような印象はあながち間違いじゃなかったか
ゲーデルの不完全性定理以降の数学者はみんな頭がおかしくなってしまったのかな
958: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/17(日)09:29 ID:9UHEbX30(4/13) AAS
>>956
どうも、コメントありがとう
>いずれも公理系から定理を導く部分には誤りはあっても不正はない
>たとえ誤っていることを承知の上で公表しても、それは誤りであっていわゆる不正とは呼ばないのではないか
同意
・そして、いまの基礎論のトレンドは「逆数学」（下記）と、それに基礎論ではないかも知れないが、圏論です
・”公理系から定理を導く部分には誤りはあっても不正はない”
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s