>>491 補足
(引用開始)
無限集合を擁護する数学者にとっても、ある重要な文脈では、有限集合と無限集合の形式的区別は微妙な問題として残った。
これはゲーデルの不完全性定理に端を発している。
遺伝的有限集合はペアノ算術で解釈でき(逆もまた同様)、従ってペアノの理論体系の不完全性は遺伝的有限集合の理論にも存在することが暗に示されている。
特に、どちらの理論にもいわゆる非標準モデルの過剰が存在する。
見かけ上のパラドックスとして、遺伝的有限集合の非標準モデルは無限集合を含んでいるが、
それら無限集合はそのモデル内では有限に見える(これは、それら集合の無限性を証明するのに必要な集合や関数をモデルが持たない場合に生じる)。
不完全性定理があるため、一階述語論理やその再帰的適用では、そのようなモデルすべての標準部分を特徴付けることができない。
従って、一階述語論理の観点からは、有限性をおおよそ特徴付けることしか望めない。
(引用終り)
てこと
一階述語論理か
それ以上の高階述語論理なのかに無自覚ならば
所詮、有限と無限とをきちんと区別できない
それを知らずに議論するあわれな落ちこぼれたち
あわれな”なんとかさん”と同類じゃね!?w(^^;
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
503現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/11/27(水) 22:01:11.46ID:qnEhNItW■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「耐え抜け」 関税発動でアメリカ国民に檄「これは経済革命、われわれは勝利する」 [Hitzeschleier★]
- 「トランプは退陣を」 米各地で抗議デモ、最大規模 ★5 [蚤の市★]
- 【芸能】上沼恵美子、中居正広氏に激怒「クズやな!」「女をモノ扱いにして」「最悪やわ」 [Ailuropoda melanoleuca★]
- 【大阪】ドラッグストア「コスモス」が謝罪、「無断駐車」警告は誤り 共用駐車場の認識不足が原因 ★2 [ぐれ★]
- 上沼恵美子 中居氏・フジ問題でファンに釘刺す「誘われて行った女性も悪い、とか言わんといてね!」 [ひかり★]
- 【動物】なぜ千葉で? 施設脱走し「キョン」大繁殖 8万頭超どう向き合う [ぐれ★]
- 𝒉𝒐𝒖𝒔𝒆🏡
- 【関税発動】トランプ大統領、アメリカ国民に檄、「耐え抜け」 [419054184]
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★4
- 【石破】 Yahoo ID、勝手に停止されて生活が詰む人が急増 [732912476]
- 【悲報】日本政府「関税がこんなに高いなんて寝耳に水だった。びっくりしている」びっくりしている模様 [673057929]
- 奈良市議会のハラスメント調査結果…「維新議員が怒鳴り込んできた」「赤旗の勧誘を禁止して」など悲痛な声 [481941988]