[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
123: 2024/10/21(月)21:03:48.19 ID:HE/jnM0w(1) AAS
ZEN大学の宇宙際幾何学センターのページ消されてない？
なんで？
547(1): 04/23(水)17:02:57.19 ID:KKRZ70hu(1) AAS
>>545
歴史大臣見てみ
環境省とかw
655: 06/06(金)05:27:44.19 ID:ND0qG6B9(4/4) AAS
3. 理論的障壁・実現可能性について
• 既存理論（型理論や標準集合論）を拡張すれば原理的には構築可能ですが、以下の困難があります：
• 複数宇宙をまたいで「型」や「証明」が意味を持つための一貫性保証（モデル間の推移的整合性）
• 計算可能性や可証明性、自己参照パラドックスの回避
• 宇宙間比較操作の「メタ理論」化によるシステムの複雑性増大
• メタ理論と本体理論のインターフェイス設計
• しかし、型理論研究・プログラム意味論・高次圏論・モデル理論などの分野では、近年このような「複数宇宙・複数モデルの同時操作」を内部化したり、言語として実装する方向の基礎理論が急速に発展しています。
省9
726(1): 06/07(土)16:37:12.19 ID:7dNqVJgc(46/57) AAS
>>725
文字の読み書きができないのか
哀れな
>>626-631
848: 06/11(水)09:31:32.19 ID:y9IQzmWr(1) AAS
IDを出さずに書き込めるようになったらしい
861: 死狂幻調教大師S.A.D.@月と六ベンツ 06/12(木)08:54:16.19 ID:raHFJsSn(7/28) AAS
意味をわからせるためのものが数学ではないよ。
905(1): 06/13(金)12:09:09.19 ID:ysgb4WiX(2/2) AAS
>>872
p npに時間なんか関係ないぞwww
思い込み強すぎるwww
957: 06/14(土)12:15:16.19 ID:1WR5CPks(2/2) AAS
バカって生きてる意味あんの？
ウンコ製造器だろ？
962: 06/14(土)16:19:43.19 AAS
>>961
ZFC上で構成できるから好きに選べる
物理法則と関係なくな？
しかし計算複雑性理論は物理法則と無関係に構成することが不可能
低学歴丸出しすぎる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s