[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1(6): 2024/08/09(金)16:08 ID:QAloxS3v(1/10) AAS
未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
応援スレとの棲み分けにより懐疑的な意見も歓迎です。
関係者の匿名的な論理的擁護も歓迎です。
973: 06/14(土)20:33 AAS
>>972
自然科学だろ
974(5): 06/14(土)22:02 ID:+6jaaRtl(2/2) AAS
帰謬法知らない=無教養
975: 06/15(日)00:18 AAS
>>974
お前それ何も理解してないだろ
976: 06/15(日)00:19 AAS
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
977: 06/15(日)01:41 ID:a7iqgtnz(1/2) AAS
A) 形式言語化の骨格
記号 意味
個体定数 g “神 (God)”
個体定数 ω “この世界 (world)”
個体定数 genji, murasaki 「光源氏」「紫の上」
0, S( ) 自然数 0 と後者関数（弱算術 Q）
C(x,y) “x が y を創造した”
L(x,y,t) “時点 t に x が y を愛している”
R(r,p,t) “読者 r が時点 t に段落 p をそう読む”
聖書の命題（公理例）
1. C(g , ω) (創世記1:1)
2. ∀t R(r , ⌜C(g,ω)⌝ , t) (どの読者も創造句を正典とみなす)
源氏物語の命題（公理例）
1. Hero(genji)
2. ∀t ∃y L(genji , y , t) (いつも誰かを愛す)
3. ∀r,t R(r , ⌜L(genji,y,t)⌝ , t) (読者は恋物語として解釈)
ここで ⌜φ⌝ は命題 φ の Gödel 番号。
番号づけ・量化・弱算術 Q がそろっただけで理論 T は
• 再帰的可算（Henkin 1950）
• 任意 r.e. 集合を Σ¹ 式で表現（Shepherdson 1961）
• T ⊬ Con(T) かつ決定不能文 θ を必ず抱える（Gödel 1931／Rosser 1936）
よって 「聖書・源氏物語は形式体系でない」→誤り。
どれほど主観・感情・独自解釈を加えても、
読者・段落・時刻を「1, 2, 3…」と数える骨格を排除できず、
第一不完全性定理の射程外へは逃げられない。
978: 06/15(日)02:05 ID:a7iqgtnz(2/2) AAS
「源氏物語から決定不能命題を作る」
**正しい理解**：
「源氏物語を形式化した体系において決定不能命題が存在する」
**これは天と地ほどの違い**
### 正確なプロセスの説明
```
1. 源氏物語（日本語テキスト）
↓ 形式化（論理・算術を使用）
2. 形式体系F（算術を含む）
↓ ゲーデルの定理適用
3. Fにおける決定不能命題の存在
```
**源氏物語「から」作るのではない**
**形式化した体系「において」存在する**
979: 06/15(日)07:54 ID:Eap/oGjV(1/11) AAS
>>968
定義は証明不要だぞ知ったかぶりwwwwww
定義の意味すらわかってないのに数学とかwwwwwwww
980(2): 06/15(日)07:56 ID:Eap/oGjV(2/11) AAS
>>967
ペアノの公理はZFC公理系の公理ではなく定義な？
981(4): 06/15(日)09:15 ID:lv2xCBEK(1/2) AAS
>>980
>ペアノの公理はZFC公理系の公理ではなく定義な？
ZFC公理系に、追加でペアノの公理を定義と称して 入れ込むように読めるけど？
正確には、下記で、ZFC公理系で ノイマン構成の後者関数が定義できて
数学的帰納法で可能な 任意有限の自然数が構成できて
しかし、無限集合たる自然数全体は、無限公理による
出来上がった 無限集合を 我々は 自然数Nと呼ぶ
従って、ペアノの公理は、ZFC公理系の中で 追加公理無しで実現できる
出来上がった 最小の無限集合を 自然数Nと名付たということ
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
現代数学において標準的な数学の対象はすべて集合として実現されている。集合論における自然数の標準的な構成法としては、
略す（要は、空集合Φからスタートして自然数を構成する）
ただしここでAは無限公理により存在する集合を任意に選んだものである。（注：”任意に選んだ”は誤。正しくは最小のもの（あるいは、無限集合の共通部分））
この構成法はジョン・フォン・ノイマンによる[7]。
982: 06/15(日)09:23 ID:lv2xCBEK(2/2) AAS
>>980 訂正
ただしここでAは無限公理により存在する集合を任意に選んだものである。（注：”任意に選んだ”は誤。正しくは最小のもの（あるいは、無限集合の共通部分））
↓
ただしここでAは無限公理により存在する集合を任意に選んだものである。
注
その前の記述で 積∩を取っているから もとの記述で足りているね
983: 06/15(日)09:35 ID:Eap/oGjV(3/11) AAS
>>981
>ZFC公理系に、追加でペアノの公理を定義と称して 入れ込むように読めるけど？
どうやったらそんなアホな誤読ができるの？
984: 06/15(日)09:40 ID:LXFVxBju(1/3) AAS
論文を査読されたことがない人の言葉
985: 06/15(日)09:55 ID:Eap/oGjV(4/11) AAS
>>981
>数学的帰納法で可能な 任意有限の自然数が構成できて
はい、大間違い。
数学的帰納法は自然数が持つべき性質であるとペアノの公理で規定されている。
つまり君は「自然数を使って自然数を構成する」と言ってることになり、それは堂々巡り。
>出来上がった 無限集合を 我々は 自然数Nと呼ぶ
呼ぶのは勝手だが、構成した集合が自然数の定義であるところのペアノの公理を満たしていることの証明が必要。
分かってる風に語らない方が良いよ。恥かくだけだから。
986: 06/15(日)09:58 ID:LXFVxBju(2/3) AAS
>数学的帰納法は自然数が持つべき性質であるとペアノの公理で規定されている。
これが物事の正しい順序であることは
ペアの公理と無関係とも限らない
987(1): 06/15(日)10:03 ID:Eap/oGjV(5/11) AAS
>>981
>あるいは、無限集合の共通部分
これも間違い。
正しくは「無限公理が存在を主張する集合全体の集合の共通部分」
988(2): 06/15(日)10:07 ID:LXFVxBju(3/3) AAS
>無限公理が存在を主張する集合全体
無限公理が存在を主張する集合全体？
989: 06/15(日)10:09 ID:Eap/oGjV(6/11) AAS
>>981
>ZFC公理系で ノイマン構成の後者関数が定義できて
これも大間違い。
自然数の構成にそんな関数は不要。>>987の通り。
990: 06/15(日)10:12 ID:Eap/oGjV(7/11) AAS
>>988
日本語不自由？ なんでそんなところで切るの？
例えば「自然数全体の集合」とは任意の自然数を元として持つ集合のことだろ？
991: 06/15(日)10:17 ID:Eap/oGjV(8/11) AAS
>例えば「自然数全体の集合」とは任意の自然数を元として持つ集合のことだろ？
より正確には
任意の自然数を元として持ち、それ以外の元を持たない集合
だな
992: 06/15(日)10:21 ID:Eap/oGjV(9/11) AAS
>>988
つまり
「無限公理が存在を主張する集合全体の集合」
とは、無限公理が存在を主張する集合のあつまりであるところの集合族のことな
993: 06/15(日)10:32 ID:Eap/oGjV(10/11) AAS
>>967-968
ペアノの公理は自然数の定義であって命題ではない。命題でないから当然公理（＝証明無しに真と認める命題）ではない。公理という呼称に惑わされたらダメ。
公理ではないからZFC公理系に追加するだのしないだのは意味を為さない。
994: 06/15(日)10:50 ID:Eap/oGjV(11/11) AAS
まあチンプンカンプンだろうねｗ
私が言ってることを理解したくば、「無限公理が存在を主張する集合全体の集合の共通部分」がペアノの公理を満たしていることの証明を理解することだな
急がば回れ 数学に王道無し
995: 06/15(日)10:56 ID:THeA5+tT(1) AAS
次スレ
Inter-universal geometry とABC 予想58
2chｽﾚ:math
996: 06/15(日)11:10 AAS
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
997: 06/15(日)11:10 AAS
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
998: 06/15(日)11:10 AAS
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
999: 06/15(日)11:11 AAS
>>794
この中卒無職(小中学校不登校でお情け郵送卒業証書)ヤバすぎる
義務教育で習う背理法を理解しておらず
物理学の全く無関係な概念を背理法と勘違いしてコピペしまくり
義務教育すら受けてないことを自白しまくってる
義務教育受けてないとかバレたら自殺するだろ
恥ずかしすぎるだろ
1000: 06/15(日)11:11 AAS
>>794
この中卒無職(小中学校不登校でお情け郵送卒業証書)ヤバすぎる
義務教育で習う背理法を理解しておらず
物理学の全く無関係な概念を背理法と勘違いしてコピペしまくり
義務教育すら受けてないことを自白しまくってる
義務教育受けてないとかバレたら自殺するだろ
恥ずかしすぎるだろ
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 309日 19時間 3分 12秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
▼ UPLIFT会員登録はこちら ▼
外部ﾘﾝｸ:uplift.5ch.net
▼ UPLIFTログインはこちら ▼
2ch板:login
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.018s