Inter-universal geometry と ABC予想 (応援スレ) 73 (730ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
137: 死狂幻調教大師S.A.D.@月と六ベンツ [] 07/31(木)22:21:41.22 ID:zfdZw6/s(19/34)
性の倫理に照らしてみれば？
212: １３２人目の素数さん [] 08/01(金)16:27:18.22 ID:s+XIBA1E(3/3)
＞記号∩の使用を避ける方がスッキリでしょ
論理のスジが分からないで
わけもわからず逃げまくる
高卒ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!
火を怖がるエテ公か？
238: １３２人目の素数さん [] 08/02(土)14:16:11.22 ID:E5xLBw1U(14/23)
>>233
>ところが、ゴキブリくんは、この誰が書いたか分らない
>いわば 道端に落ちていた 真意不明 腐っているかも知れない 式を 必死に擁護するのが（なんかヘンですよねぇｗｗ）
腐ってるのは誰が書いたかで判断するおまえの根性
おまえみたいな腐った根性の持ち主に数学を語る資格無し
341(1): １３２人目の素数さん [] 08/04(月)15:33:43.22 ID:iR8wXkhe(18/24)
なんなら君がいつも媚び売ってる御大とやらに聞いてみたら？
自然数Nであることが示せてるよね？って
彼が示せてると言ったなら、何がどう示せてるのか質すけどさあ
423(1): １３２人目の素数さん [] 08/09(土)11:43:02.22 ID:bw4CRSHc(3/6)
>>421
IUT、宇宙（下記）
上記の圏論の宇宙 グロタンディーク宇宙が考えられた時期と平行して
強制法が考えられた
『直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている』(下記)
そして、21世紀のいま、基礎論屋さんは
宇宙といえば、下記強制法の宇宙を連想する
そういう人に教えられた学生も同様だろう
”宇宙と宇宙をつなぐ”？？？
なんじゃらほい ？？？
となるのですｗ ；ｐ）
ここらは、望月さんには理解できないだろうね
グロタンディーク宇宙に関連する 用語「宇宙」しか頭になさそうだ
おそらく 加藤さんもね
ここらが、世間に無用の混乱のもとだった
”宇宙と宇宙をつなぐ”が、引き起こす無用の混乱
だが、それも 初期のわらい話で
もうその時期は過ぎただろう
https://ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95
強制法
強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。
原理的には、次のようなものを考える。
略
強制法はこのアイデアを洗練したもので、新しい集合の存在を認めて利用するというより、拡大された宇宙の性質を元の宇宙からよりよく操作することを許したものである。
コーエンの元々のテクニックは今ではramified forcing（英語版）と呼ばれるもので、強制法の説明によく使われるunramified forcingとは少々異なる。
可算推移モデルとジェネリックフィルター
強制法の鍵となるステップはZFCの宇宙 V に対して、V の要素でない適切な G を見つけることである。 結果としては G によるP-名前の解釈全てによるクラスが元々の V の拡大になるZFCのモデルになるようにする。
略
481: １３２人目の素数さん [] 08/10(日)23:20:12.22 ID:f12p+Q2v(12/12)
踏んづけてやったゴキブリくんが、うごめいている
くやしいのうｗｗｗ くやしいのうｗｗｗ
545: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/12(火)05:07:01.22 ID:LQgW+aAv(11/30)
経験者からすると今からは合計一年。
730: １３２人目の素数さん [] 08/17(日)11:54:31.22 ID:ri9WPA52(8/8)
間違いを認めたくないからって詐欺はやめようねオチコボレ君
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s