Inter-universal geometry と ABC予想 (応援スレ) 73 (712ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
146: 死狂幻調教大師S.A.D.@月と六ベンツ [] 07/31(木)23:06:30.57 ID:zfdZw6/s(27/34)
スレ主さんぐらいとしか大きな仕事になり得ないのはなぜかな。それは男性が存在しないから。俺はスレ主とレズレス。
166: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/01(金)00:31:36.57 ID:1t6/xN+D(6/28)
哲学をするということは昔のセクハラ神を呼び出してしまうということだよ。学問自体。
260(1): １３２人目の素数さん [sage] 08/03(日)09:28:53.57 ID:CoeCkLys(1)
>>251
現代数学の系譜 雑談 ◆yH25M02vWFhP には妄想癖がある
囲碁は大局観だけでは勝てず
囲碁で勝つには定石を覚えること
詰碁とかで培った読みの力
細かい地の計算力なども必要になる
囲碁の大局観は主に対局では
序盤中盤で重要になることが多い
288: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/03(日)23:59:56.57 ID:efM6JdP5(20/20)
公務員でも官僚でも社員教育でもいいし。中途。しかし社会福祉や障害者福祉はノリが違う。
365: １３２人目の素数さん [sage] 08/05(火)14:00:20.57 ID:BRe/YbNB(1)
論理が分からん高卒素人は碁でも打ってろ
421(1): １３２人目の素数さん [] 08/09(土)11:27:02.57 ID:bw4CRSHc(2/6)
>>420
IUT、宇宙（下記）
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
ツェルメロ集合論は公理的集合論および数学基礎論、特にモデル理論における他の研究のさらなる発展にとって不十分であった。劇的な例として、上述の上部構造プロセスの記述はツェルメロ集合論においてそれ自身実行できないことが挙げられる。最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理が必要である。置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
クルト・ゲーデルの構成可能集合 L と構成可能公理
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。" この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s