[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
963(1): 2025/06/14(土)16:20 AAS
>>961
公理という名の公理だよ
ZFCから導けないんだから定理ではあり得ない
964(1): 2025/06/14(土)16:43 AAS
>>961
定理なら証明しろよ
ZFCから導けよ？
公理の意味すら知らんアホが吠えんなや
965(1): 2025/06/14(土)17:16 ID:pmXx3B9i(2/3) AAS
>>963
うん定理じゃなく定義
966(1): 2025/06/14(土)17:16 ID:pmXx3B9i(3/3) AAS
>>964
定義の意味すら知らんアホが吠えんなや
967(2): 2025/06/14(土)17:17 AAS
>>965
定義じゃなくて公理な？
968(2): 2025/06/14(土)17:18 AAS
>>966
公理から証明できないものは全て公理だぞ知ったかぶりwwwwww
公理の意味すらわかってないのに数学とかwwwwwwww
969(1): 2025/06/14(土)17:41 ID:hfA1RIC5(1/2) AAS
数学ではないが自然科学では絶対ないｗ
970(1): 2025/06/14(土)17:48 AAS
>>969
自然科学じゃないなら物理法則無視できるね
無限のリソースを時間0で使える
971: 2025/06/14(土)17:50 AAS
まあ背理法知らん時点で自殺ものだろ
義務教育受けてないこと確定するんだからw
972(1): 2025/06/14(土)20:21 ID:hfA1RIC5(2/2) AAS
>>970
物理法則に従わないといけない分野を自然科学というなら、
心理学も経済学も物理法則は無視できないからこれらも自然科学になるんだが
973: 2025/06/14(土)20:33 AAS
>>972
自然科学だろ
974(5): 2025/06/14(土)22:02 ID:+6jaaRtl(2/2) AAS
帰謬法知らない=無教養
975: 2025/06/15(日)00:18 AAS
>>974
お前それ何も理解してないだろ
976: 2025/06/15(日)00:19 AAS
>>974
理解してない単語書いたら理解したと思いこめる頭の病気だからno-go定理とか全く無関係でデタラメな単語を長期間書き込み続けたってマジ？
理解って書き込む事じゃねえよ？ん？
977: 2025/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 をそう読む”
聖書の命題（公理例）
省15
978: 2025/06/15(日)02:05 ID:a7iqgtnz(2/2) AAS
「源氏物語から決定不能命題を作る」
**正しい理解**：
「源氏物語を形式化した体系において決定不能命題が存在する」
**これは天と地ほどの違い**
### 正確なプロセスの説明
```
1. 源氏物語（日本語テキスト）
↓ 形式化（論理・算術を使用）
2. 形式体系F（算術を含む）
↓ ゲーデルの定理適用
省4
979: 2025/06/15(日)07:54 ID:Eap/oGjV(1/11) AAS
>>968
定義は証明不要だぞ知ったかぶりwwwwww
定義の意味すらわかってないのに数学とかwwwwwwww
980(2): 2025/06/15(日)07:56 ID:Eap/oGjV(2/11) AAS
>>967
ペアノの公理はZFC公理系の公理ではなく定義な？
981(4): 2025/06/15(日)09:15 ID:lv2xCBEK(1/2) AAS
>>980
>ペアノの公理はZFC公理系の公理ではなく定義な？
ZFC公理系に、追加でペアノの公理を定義と称して 入れ込むように読めるけど？
正確には、下記で、ZFC公理系で ノイマン構成の後者関数が定義できて
数学的帰納法で可能な 任意有限の自然数が構成できて
しかし、無限集合たる自然数全体は、無限公理による
出来上がった 無限集合を 我々は 自然数Nと呼ぶ
従って、ペアノの公理は、ZFC公理系の中で 追加公理無しで実現できる
出来上がった 最小の無限集合を 自然数Nと名付たということ
外部ﾘﾝｸ:ja.wikipedia.org
省6
982: 2025/06/15(日)09:23 ID:lv2xCBEK(2/2) AAS
>>980 訂正
ただしここでAは無限公理により存在する集合を任意に選んだものである。（注：”任意に選んだ”は誤。正しくは最小のもの（あるいは、無限集合の共通部分））
↓
ただしここでAは無限公理により存在する集合を任意に選んだものである。
注
その前の記述で 積∩を取っているから もとの記述で足りているね
上下前次1-新書関写板覧索設栞歴
あと 20 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.356s*