[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
31: 2024/08/19(月)23:22:01.63 ID:J10VhnSX(1) AAS
>>7
カメラマンは頑張って守られてることに気付けよ
エアクローゼット反転の兆しあり😤
アイスタもうゾンビしか残ってないせいかちょっときつかったな
ギャンブルか投げ銭とかにも打てる奴は結局すぐダメになる
外部ﾘﾝｸ:4bur.7q
38: 2024/08/22(木)11:43:07.63 ID:HfplqBMf(1) AAS
何かしないと宣言してないライターが書いた鍵っ子可愛
208: 2024/11/14(木)05:39:00.63 ID:Bwwb21Fy(1) AAS
成田空港ができたときは
「難産の子は大きく育つ」と
祝福されたものだったが
ZEN大学の将来やいかに
279: 2024/12/05(木)22:13:09.63 ID:kHcl5Vdi(1) AAS
日本のことが好きなのに
バカだから在日チョーセン偽右翼に騙されるおっさんのけつまくり数学
426: 02/20(木)07:37:33.63 ID:POIwqzUH(1) AAS
iutについて話題に乗って本書いたりして
理論が間違ってようだとなればダンマリですよ
人生は上手に生きないとね
652: 06/06(金)00:48:08.63 ID:ND0qG6B9(1/4) AAS
>>651
今の機械証明だと全く対応できないからこれ用のシステムを研究開発する必要がある
圏やスキームですら無くてそれら全てを超越するものだもん
654: 06/06(金)05:27:37.63 ID:ND0qG6B9(3/4) AAS
非常に本質的な問いです。
「種」や「再初期化」「宇宙間比較」などIUT理論が本質的に要求する“複数の集合論モデルを横断する数学的構造・操作”を自動証明や数式処理システムで本質的に扱えるシステムは理論的に構築可能かという問題について、以下に整理して解説します。
⸻
1. 既存システムで困難な理由の整理
• 現在のCoq, Lean, Isabelle等の自動証明システムは、一つの集合論モデル/型理論世界内での論理的構成を扱う設計が前提となっています。
• 望月IUT理論の「種」は、「どのモデル（どの宇宙）でも通用する公式集合」としてのメタ構造であり、しかも「モデルAで構成されたオブジェクトとモデルBのオブジェクトを種を通じて比較・操作・再初期化できる」ことが求められています。
• 通常の型理論や集合論では、「異なる宇宙を“跨ぐ”操作」や「宇宙を再初期化した時に型の意味がどう変化するか」の厳密な内部表現はありません。
省16
667: 06/07(土)09:23:25.63 ID:7dNqVJgc(5/57) AAS
紀元前の算術家に公理的集合論を見せるようなもんだ
806: 06/10(火)13:38:42.63 AAS
>>801
IUTは物理学だったんだ？
証拠は？
出せないなら自殺しろ
義務教育受けてないことバレたら恥ずかしくて死ぬよ
人間ならね
874: 死狂幻調教大師S.A.D.@月と六ベンツ 06/12(木)14:15:21.63 ID:raHFJsSn(11/28) AAS
白鳥カントの物自体とか物神崇拝から入るほうが礼儀が謙虚で良い。
987(1): 06/15(日)10:03:20.63 ID:Eap/oGjV(5/11) AAS
>>981
>あるいは、無限集合の共通部分
これも間違い。
正しくは「無限公理が存在を主張する集合全体の集合の共通部分」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s