Inter-universal geometry と ABC予想 (応援スレ) 73 (698ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
179(1): １３２人目の素数さん [] 08/01(金)06:07 ID:s+XIBA1E(1/3)
>>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 は
既にゲーデルによってできないと証明されていることを
平然と要求する大🐎🦌野郎
183(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/01(金)07:24 ID:3GStjv9j(1/5)
>>179
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているなｗ ；ｐ）
>算術の超準モデル
>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
出ました！ ゴキブリの詭弁
囲碁の戦法でもあるんだよ
「不利なときは、戦線を拡大せよ」と
普通に、平凡にやれば、形勢不利で負けそうなときには
局面を複雑にして、紛れを求める
それだね
だが、数学の議論においては、詭弁ですよ。詭弁がミエミエｗ ；ｐ）
いまの ”標準モデル”内の議論とは、無関係！ｗｗ
なお、その 「算術の超準モデル」 ja.wikipediaの記事中にある
”脚注
1^ 坪井明人 数学基礎論サマースクール モデル理論入門 http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/
関連項目
・真の算術
・超準解析
・モデル理論”
は、チラ見しておくといいね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s