[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
96(1): 2024/11/20(水)10:32 ID:dQKCe6W8(1/9) AAS
>>92-93
>なにかほいよだ ワケワカ検索馬鹿高卒
>ID:yXKQG6fo は、おサルの お連れ かｗ ；ｐ）（2chｽﾚ:math ）
ああ、そうそう
「検索」をバカにしてはいけないよ、ダンナｗ
余談ですが、昔 岩波の数学辞典（第二版）をもっていた
結構読みました。後ろに公式集があったりもした
省5
98(2): 2024/11/20(水)11:06 ID:dQKCe6W8(2/9) AAS
>>1
>なぜ、ZFC公理まで遡らなくても数学が出来るの？
>公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず
>もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？
・逆数学：通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である
・構成的解析：Constructive analysis
下記を
省10
100(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/20(水)11:09 ID:dQKCe6W8(3/9) AAS
>>97
＞誰も検索をバカにしていない
＞検索しかできない馬鹿をバカにしている
ふっふ、ほっほ
大口叩くねｗ ；ｐ）
では問う
君は、検索以上のなにができるの？
省4
103: 2024/11/20(水)13:15 ID:dQKCe6W8(4/9) AAS
>>101-102
必死の逃げ
無様ｗｗｗ
あの〜、>>1
『なぜ、ZFC公理まで遡らなくても数学が出来るの？』
が、このスレのテーマだ
分かっているか？
省9
104: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/20(水)13:40 ID:dQKCe6W8(5/9) AAS
>>101 追加 傷口に塩ｗ
>ZFCより弱い体系でも、通常の数学は構築できる
それ、>>98の
逆数学 ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6
構成的解析：Constructive analysis en.wikipedia.org/wiki/Constructive_analysis
に、そのものずばりが書いてあるよ
そのうえで問う
省3
106: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/20(水)16:00 ID:dQKCe6W8(6/9) AAS
>>105
ふっふ、ほっほ
大口叩いた君へｗ ；ｐ）
では問う(>>100より)
君は、検索以上のなにができるの？
一つやって見せてくれない？ｗｗ ；ｐ）
”検索”以上のなにかを・・ｗｗｗ
省2
108: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/20(水)17:20 ID:dQKCe6W8(7/9) AAS
>>107
>>『なぜ、ZFC公理まで遡らなくても数学が出来るの？』
> 置換公理を使わなくても、分出公理で十分だから
なんか、ハナクソみたいなこと言ってない？ｗ ；ｐ）
下記のZF集合論の歴史
『1922年、フレンケルとスコーレムは、原子論理式を帰属関係と同一性の表現に限定した一階述語論理における論理式として定式化できるものとして、「明確な」属性を操作することをそれぞれ独立に提案した。彼らはまた、分出公理を置換公理に置き換えることを独立に提案した。これらの公理と（フォン・ノイマンによって最初に提案された）正則性公理[3]をツェルメロ集合論に追加すると、 ZFで表される公理系が得られる』
なんか、ハナクソみたいなこと言ってない？
省16
112(2): 2024/11/20(水)18:39 ID:dQKCe6W8(8/9) AAS
>>109-111
2階算術を使う意義が分ってない ハナクソおじさんｗｗｗ ；ｐ）
・”2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析学の結果を反映している”
・”逆数学が集合論ではなく2階算術を用いるのは、弱い部分体系であって数学的対象を形式化できる程度には強い体系を2階算術では自然に定義することができるからである”
(参考)
ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6
逆数学
省12
113: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/20(水)18:42 ID:dQKCe6W8(9/9) AAS
>>112
>実際、逆数学の結果の多くは、計算可能性解析学の結果を反映している”
リンク貼りますｗ ；ｐ）
(参考)
ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E5%8F%AF%E8%83%BD%E8%A7%A3%E6%9E%90%E5%AD%A6
計算可能解析学
数学ならびに計算機科学において、計算可能解析学（けいさんかのうかいせきがく、英語: computable analysis）とは、計算可能性理論の観点から解析学を研究する分野である。これは計算可能な仕方で展開可能な実解析学や関数解析学の部分と関わる。この分野は構成的解析学や数値解析と密接に関係する。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s