[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
195(3): 2024/12/03(火)20:49:01.38 ID:OLcN+hWh(16/16) AAS
うむ
お分かりいただければ
結構だ
ZFCの公理から存在例化が導ければよし
そうでなければ、常識だと導入するのは、ダメです
197: 2024/12/03(火)22:24:33.38 ID:JVmAwEet(10/12) AAS
>>195
>そうでなければ、常識だと導入するのは、ダメです
なに馬鹿なこと言ってんの？
常識だと導入してるのではなく、ZFCが一階述語論理を用いて形式化されているのｗ そう何度も言ってるよね？ 聞いてる？人の話
320(1): 2024/12/06(金)10:33:49.38 ID:8BO1qVvV(7/12) AAS
>>315
理解出来て無いとは、言って無い
理解出来ているとも、言って無い
ただ、理解とは関係無いと言った
ロジック繋がってないね
ところで、あなたのレベルを示す何かを、>>290に対抗して何か書いてみてw
326(1): 2024/12/06(金)11:10:12.38 ID:O3nksi55(5/5) AAS
たとえば、生成AIは未だにポンコツで、
個々の引用元が正しくても、文章全体で見たときの
貼り合わせが間違ってたりする。
理解を伴わない引用はポンコツAIと同じ。
引用元が正しければ理解と無関係なんて、そんなことはない。
373: くぱぁ 2024/12/08(日)05:41:03.38 ID:xRDzNQTz(1/15) AAS
>>361-363
現代数学の落伍者 雑談 ◆yH25M02vWFhP
発言テンプレート
＞ふっふ、ほっほ
●●の一つ覚えで、この笑いを入れる
＞コテハンは、止めないよ
＞君達の気にすることではないでしょ
HNをいじられると脊髄反射でムキになる
＞さて、君達の問いの答えは全て下記の・・・にある！
＞百回音読してね
省3
481: 2024/12/12(木)05:54:57.38 ID:R3vxeGMj(1/16) AAS
>>476
>問題にするのはゲーデルなどの加速定理
素人の●想
>実務屋は、そんなのカンケーネー
「実務屋」とは・・・
理論を理解するための努力を厭い
今すぐ使える方法ばかり追い求める
「精神の貧困者」を指す言葉
>個別の問題で、現実に 従来のプログラムを凌駕するアルゴリズムは幾つか発見されている
>FFT=ファストフーリエ
省4
544(1): 2024/12/13(金)13:56:05.38 ID:I0vIqqpA(2/2) AAS
∃A∀x(x∈A⇔x∉x)
は真？
588: 2024/12/16(月)08:35:13.38 ID:KMaffHmu(1/6) AAS
現代数学の童貞 ◆yH25M02vWFhP
> ”厳密数学”＝一階述語論理 だと勘違いしている人がいる
なぜ、一階述語論理上の公理系で考えるか、分かってない素人か
一階述語論理の健全性
一階述語論理によって公理から証明される命題 ⇒ 公理を満たす一階述語論理上の任意のモデルで真となる命題
一階述語論理の完全性
公理を満たす一階述語論理上の任意のモデルで真となる命題 ⇒ 一階述語論理によって公理から証明される命題
省5
684(2): 2024/12/18(水)04:52:40.38 ID:Swx7Ibtu(2/5) AAS
>>611
>正則性公理は ”∈-induction”と関係していて
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、
>超限帰納法の適用を可能とする
上記は誤り 正しいのは下記
正則性公理は ”∈-induction”と関係していて
ZFC内の全ての集合について”∈-”による整礎関係を与え、
∈に関する整礎帰納法である”∈-induction”の適用を可能とする
全順序とか余計な一言を書いたせいで大恥かいたな 高卒童貞
862: 2024/12/21(土)20:52:54.38 ID:30Ne2PFX(10/22) AAS
>歯茎からの出血で歯が血まみれという噂のOTも
歯は全部抜けてしまった。
879: 2024/12/21(土)21:36:35.38 ID:26O59SCD(30/42) AAS
>>869
何も
2ページの記事も読めない馬鹿はどっか行って欲しいだけ
968: 2024/12/22(日)20:47:48.38 ID:kZPpOg3V(13/16) AAS
>>966
プロ数学者が死ねと言ったら君は死ぬのかい？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s