Inter-universal geometry と ABC予想 (応援スレ) 73 (717レス)
Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
179: 132人目の素数さん [] 2025/08/01(金) 06:07:19.77 ID:s+XIBA1E >>111 ゴキブリ ◆yH25M02vWFhP >N:={0,1,2,・・・} であることを示してね ゴキブリは不完全性定理も知らない素人 Nは標準モデルだけだと思い込んでる 算術の超準モデル https://ja.wikipedia.org/wiki/%E7%AE%97%E8%A1%93%E3%81%AE%E8%B6%85%E6%BA%96%E3%83%A2%E3%83%87%E3%83%AB ゴキブリのいう{0,1,2,・・・}は標準モデルだろう ゴキブリは標準モデルしか想像できないから 自然数の標準モデルをN_stと表記すると、超準モデルはN_st+Z_st×Q_dlo Z_stは整数の標準モデル Q_dloは稠密線形順序集合 とくに、可算な稠密線形順序集合は、有理数の標準モデルQ‗stと同型である (もちろんQ_dloは可算でなくてもよい) ゴキブリ ◆yH25M02vWFhP は 既にゲーデルによってできないと証明されていることを 平然と要求する大🐎🦌野郎 http://rio2016.5ch.net/test/read.cgi/math/1753000052/179
183: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/01(金) 07:24:54.74 ID:3GStjv9j >>179 ふっふ、ほっほ 踏みつけたゴキブリが、まだ動いているなw ;p) >算術の超準モデル >https://ja.wikipedia.org/wiki/%E7%AE%97%E8%A1%93%E3%81%AE%E8%B6%85%E6%BA%96%E3%83%A2%E3%83%87%E3%83%AB 出ました! ゴキブリの詭弁 囲碁の戦法でもあるんだよ 「不利なときは、戦線を拡大せよ」と 普通に、平凡にやれば、形勢不利で負けそうなときには 局面を複雑にして、紛れを求める それだね だが、数学の議論においては、詭弁ですよ。詭弁がミエミエw ;p) いまの ”標準モデル”内の議論とは、無関係!ww なお、その 「算術の超準モデル」 ja.wikipediaの記事中にある ”脚注 1^ 坪井明人 数学基礎論サマースクール モデル理論入門 http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/ 関連項目 ・真の算術 ・超準解析 ・モデル理論” は、チラ見しておくといいね http://rio2016.5ch.net/test/read.cgi/math/1753000052/183
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s