[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
675(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/11/01(日) 07:36:20.21 ID:o4gNmK89(1/18) AAS
>>672
>数学でお困りのようですね
全然
まったく
困ってません(^^
維新さん、あなたと徹底的に対立したことでは、全て私の勝利だった
例えば
・時枝:あなたは現代確率論が、全く理解できていない
・可算無限シングルトンの存在:あなたは、レーベンハイム-スコーレムが、理解できていない
そしていま
・IUT:あなたは数学界がIUTを認める方向に動いていることが理解できない。
∵ 日本及び日本人嫌いの性格から、望月を認められないんだね
(参考)
https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86
レーヴェンハイム?スコーレムの定理
可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す
679(2): 特別支援学校教諭 [sage] 2020/11/01(日) 08:40:53.52 ID:Fdz+cM+e(4/23) AAS
>>675
>維新さん、あなたと徹底的に対立したことでは、全て私の勝利だった
まず、私は「維新さん」ではありません
一介の教師にすぎません
その上で、その「維新さん」ことアナーキー野郎Mara Papiyas氏との議論は
横から拝見させていただきましたが、残念ながら、全て貴方が間違ってます
この後、いちいち指摘させていただきます
これも教育という仕事ですので、悪く思わないで下さいね
700(1): 特別支援学校教諭 [sage] 2020/11/01(日) 14:49:21.30 ID:Fdz+cM+e(17/23) AAS
>>694
><時枝関連>と<「可算無限シングルトン」>の関連スレは…
>>675で「箱入り無数目」と「可算無限シングルトン」を持ち出したのは
◆yH25M02vWFhPさん、あなたですが
注:私は「箱入り無数目」については、著者名を敢えて出さないことにしています
なぜなら記事の内容は、著者自身のアイデアによるものではないからです
それにしても、上記の2件について、あなたはまだご自分の誤りを
認められないようですね・・・教育のし甲斐があるというものです!
正規部分群の定義や、正則行列の件と同じく、あなたが
自分の誤りを認められるよう、導いていきたいと思います
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.050s