25/09/06 21:54:54.52 JgP2aXhR.net
>>804
(引用開始)
IUT論文IVにV_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を実現するために
＞Given any set x, there exists a universe V such that x ∈ V.
の公理を使うって書いてあるだろ
「∈」の左側に来るのは集合な
(引用終り)
そこな、IUT IV の付録の部分で本文とは別だよ
あと、下記PDFだよね
”[cf. [McLn], p. 194]”が手元にないから 細かい議論は保留する
別の書物には、別のことが書いてある気がするよ
なお、>>805の数学セミナー 2025年3月号 池上大祐
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数 読んでみて
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
NEW !! (2020-04-22)
Ｐ67
Section 3: Inter-universal Formalism: the Language of Species
We shall refer to such models as ZFC-models. Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf. [McLn], p. 194]:
(i) V is transitive, i.e., if y ∈ x, x ∈ V , theny ∈ V.
(ii) The set of natural numbers N ∈ V.
(iii) If x ∈ V, then the power set of x also belongs to V.
(iv) If x ∈ V, then the union of all members of x also belongs to V.
(v) If x ∈ V, y ⊆V,andf : x→y is a surjection, theny ∈ V.
We shall say that a set E is a V-set if E ∈ V.
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
808:１３２人目の素数さん
25/09/06 22:06:05.72 1Qoa8Sie.net
＞別の書物には、別のことが書いてある気がするよ
お前の妄想だろ
人工無脳だから処理できないことはなかったことにして無視するんだよな
setaがiut論文に重篤な間違いを発見したようなので
応援スレは無事終了ってことでよろ
809:１３２人目の素数さん
25/09/07 06:54:06.23 CTxYlvA3.net
>>803
>”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”は、ノイマン宇宙でも同じでは？
V_nって宇宙だろ？ だったら違うな
ZFCの最小のモデルでは、集合である宇宙が1つもない
モストフスキ崩壊補題とかいう以前の初歩
>>804
>人工無脳はコピペするだけで内容は読めねーのな
◆yH25M02vWFhP は述語論理を全く知らず
無限公理も実数の定義も理解できない
正真正銘の高卒ド素人だからなぁ
810:１３２人目の素数さん
25/09/07 07:00:13.46 CTxYlvA3.net
>>805
>”フェルマーの最終定理はZFCの下で証明できるか？”
>私見だが（理由）二つ
>１）グロタンディーク宇宙＋圏論の力
>２）圏論は 高階論理
>これが効いている気がする
>もちろん、IUTもだ
ワイルズはグロタンディク宇宙とか使ってないだろ
何をわけのわからんこといってんだこの●違い（笑）
>フェルマーの最終定理の1995年 証明あたりから
>21世紀の数学は ZFCだけでは 足りないのでは？
もし、ZFCでフェルマーの最終定理が証明できないとするなら
フェルマー方程式の超準自然数解が存在するZFCのモデルが存在する
ということだが
それが示せたのかい？君が？◆yH25M02vWFhP
嘘も大概にしろよこの誇大妄想野郎（笑）
811:１３２人目の素数さん
25/09/07 07:06:44.24 CTxYlvA3.net
>>807
望月新一のスタイル
存在しないことを存在したと仮定し
できもしないことをできたと仮定して
いかがわしい成果をアピール
◆yH25M02vWFhPのスタイル
聞きかじった言葉を わけもわからず 検索
結果出てきた文章を わけもわからず 丸コピペ
他人が何かいったら わけもわからず 罵倒
要するにただの誇大妄想狂
実体は 大学１年の一般教養の微分積分の冒頭で出てきた
カントールによる実数の定義（有理コーシー列の同値類）が
理解できずに落第したそこらにわんさかいる凡人
812:１３２人目の素数さん
25/09/07 07:14:40.62 CTxYlvA3.net
不定方程式に標準自然数の解が存在する場合は
直接それが解であることを計算で示せばいいので
当然算術で証明できる
問題は標準自然数の解が存在しない場合
もし、自然数論で証明できない場合
超準自然数解が存在する自然数論のモデルが存在する
例えばゲーデルの第二不完全性定理でいえば、
自然数論から矛盾を導く（超準自然数でゲーデルコーディングされた）証明
が存在する
一方、無矛盾であれば標準自然数でゲーデルコーディングされた証明は存在しない
標準自然数は自然数論のいかなるモデルにも存在する
超準自然数は自然数論の最小モデルには存在しない
そして、いわゆる自然数論の帰納的公理系では
最小モデルだけがモデルになるようにはできない
二階論理上の自然数論ならできる、というが、
それはいわゆる帰納的公理系ではない
これ豆な
東大の数学科では教えないけど、情報科学科では３年で
述語論理の完全性定理もゲーデルの不完全性定理も教えるから
知らんならモグリ
813:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 07:28:43.88 bTpJAS/P.net
新月か。月夜月見にいい詩だなあ。生まれゆくもの、死にゆくもの 悟りを開くもの。
814:１３２人目の素数さん
25/09/07 07:43:42.05 CTxYlvA3.net
なぜだろう？
最新カキコの名前欄に
「死狂幻調教大師S.A.D.@月と六ベンツ」
とあると萎える・・・
815:１３２人目の素数さん
25/09/07 07:48:51.28 CTxYlvA3.net
名前欄が
「現代数学の系譜 雑談 ◆yH25M02vWFhP」
の場合の書き込みの特徴
１．大抵（引用開始）引用（引用終り）で検索結果の丸コピペか、過去発言の引用から始まる
２．いずれにしてもその後の当人の文章は、ただの感想文 だいたいナイーブに間違ってる
３．で、シメは「俺は悪くない」「おまえらみんな馬鹿」という趣旨の文章で終わる
結論
「とかなんとかいってるお前一匹が一番の馬鹿」
816:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 07:56:50.63 bTpJAS/P.net
性欲が充足したらまた最新のカキコ。
817:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 07:58:14.74 bTpJAS/P.net
子やら弟子の方になんかいってるわけじゃ。
818:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 07:59:14.59 bTpJAS/P.net
おっぱいピークを更新したら。
819:１３２人目の素数さん
25/09/07 07:59:32.09 CTxYlvA3.net
「死狂幻調教大師S.A.D.@月と六ベンツ」の場合
書き込み自体が無意味なので、真とか偽とかいう以前
最強といえば最強（笑）
820:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 08:00:15.78 bTpJAS/P.net
性欲が湧くと絞れて増えるわ。
821:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 08:02:38.45 bTpJAS/P.net
ある意味信仰で譲られ渡していくサイクルがあるとおっぱい増えるさ。
822:１３２人目の素数さん
25/09/07 08:03:22.47 CTxYlvA3.net
◆yH25M02vWFhP が 「ポストモダン数学 ◆yH25M02vWFhP」になったら言いそうなセリフ １
"Don't prove. intuit."
823:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 08:03:48.29 bTpJAS/P.net
功徳がありすぎないようにね。女神様。
824:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 08:04:55.40 bTpJAS/P.net
まあ夫婦の性的な話題をタブー視しないで。
825:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 08:06:34.22 bTpJAS/P.net
点数も月経や生理に関係。
826:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 08:07:11.50 bTpJAS/P.net
おっぱい上げとくよ。
827:死狂幻調教大師S.A.D.@月と六ベンツ
25/09/07 08:09:05.08 bTpJAS/P.net
おっぱいピークが上がると多産さ。ある主のエゴと犠牲が大事。