[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
602(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/01(日)22:28 ID:dvD9YE7H(37/39) AAS
>>601
>>601
分かってないな（＾＾
>到達しないから無限公理が必要なんだよ
中学数学からの常識でしょ？ｗ
「無限公理」は、デフォルトであり、”標準”です
「有限主義」を唱えない限り、”標準”です
数学的帰納法＋「無限公理」は、デフォルトであり、”標準”です
分かってないな
下記よめ
外部ﾘﾝｸ:ja.wikipedia.org
数学的帰納法
(抜粋)
数学的帰納法の形式的な取り扱い
従って有限回のステップでは有限個の n に対してしか P(n) を結論づける事ができず、「無限個ある自然数全てに対して P(n) が成り立つ」という数学的帰納法の結論について有限の長さの証明が与えられたとはいえない。これが前述した直観的説明におけるギャップである。
そこで、ペアノ算術などの形式的な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される、ということになる。
つづく
上下前次1-新書関写板覧索設栞歴
あと 400 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.012s