[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
73(2): 2021/12/10(金)07:48 ID:TDfmt48z(3/4) AAS
>>64-70
うん、そういう議論は賛成だな
IUTが、どういう範囲の公理系で治まっているのか？ ってね
で、>>65 より
(引用開始)
まぁZFCより強い仮定の元に証明したならしたで構わないとは思うがね
しかしそもそもこの話も加藤本で出てきたらしい“新しいパラダイム”とかいう単語から出てきた話なんやろ
ホントに望月論文で「通常数学では用いない以下のような推論規則を導入する」的なフレーズがあったって話も聞かんしな
そこから眉唾ものの話
(引用終り)
省20
74: 2021/12/10(金)08:08 ID:TDfmt48z(4/4) AAS
>>73
追加
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
目次
1 ある特定の文脈において
2 通常の数学
3 集合論
省3
77(2): 2021/12/10(金)10:45 ID:ZfXXklGr(1/6) AAS
>>73 補足
保存拡大の話は、2012年のIUT論文公開当初からあるよ
http://ユアペディア/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
数学基礎論による厳密な定式化
グロタンディーク宇宙
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。このモデルとなるのがグロタンディーク宇宙である。
問題点が指摘されている。
同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.819s*