[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
851
:
現代数学の系譜 雑談 古典ガロア理論も読む
◆e.a0E5TtKE
2019/09/08(日)11:00
ID:KY2miv9A(11/23)
AA×
>>850
外部ﾘﾝｸ:ja.wikipedia.org
[
240
|
320
|480|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
851: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/08(日) 11:00:20.98 ID:KY2miv9A >>850 つづき https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95 数学的帰納法 (抜粋) 数学的帰納法は自然数に関する命題 P(n) が全ての自然数 n に対して成り立っている事を証明するための、次のような証明手法である[注 1]。 1.P(1) が成り立つ事を示す。 2.任意の自然数 k に対して、「P(k) ⇒ P(k + 1)」が成り立つ事を示す。 3.以上の議論から任意の自然数 n について P(n) が成り立つ事を結論づける。 上で1と2から3を結論づける所が数学的帰納法に当たる。自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。 高校の教科書等の初等的な解説書ではドミノ倒しに例えて数学的帰納法を説明しているものも多い。 以上の議論はあくまで数学的帰納法が成り立つ理由の直観的説明であって、1, 2 と 3 の間にはギャップがある。詳しくは後述の「数学的帰納法の形式的な取り扱い」の項目を参照されたい。 数学的帰納法の形式的な取り扱い 有限回のステップでは有限個の n に対してしか P(n) を結論づける事ができず、「無限個ある自然数全てに対して P(n) が成り立つ」という数学的帰納法の結論について有限の長さの証明が与えられたとはいえない。これが前述した直観的説明におけるギャップである。 ペアノ算術などの形式的な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される、ということになる。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/851
つづき 数学的帰納法 抜粋 数学的帰納法は自然数に関する命題 が全ての自然数 に対して成り立っている事を証明するための次のような証明手法である注 が成り立つ事を示す 任意の自然数 に対して が成り立つ事を示す 以上の議論から任意の自然数 について が成り立つ事を結論づける 上でとからを結論づける所が数学的帰納法に当たる自然数に関するペアノの公理の中にほぼ等価なものが含まれている 高校の教科書等の初等的な解説書ではドミノ倒しに例えて数学的帰納法を説明しているものも多い 以上の議論はあくまで数学的帰納法が成り立つ理由の直観的説明であって と の間にはギャップがある詳しくは後述の数学的帰納法の形式的な取り扱いの項目を参照されたい 数学的帰納法の形式的な取り扱い 有限回のステップでは有限個の に対してしか を結論づける事ができず無限個ある自然数全てに対して が成り立つという数学的帰納法の結論について有限の長さの証明が与えられたとはいえないこれが前述した直観的説明におけるギャップである ペアノ算術などの形式的な体系では数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通であるつまり形式的には自然数の性質から数学的帰納法の正しさが証明できるのではなく逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定されるということになる 引用終り 以上
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 151 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.080s