[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
17(1): 現代数学の系譜11 ガロア理論を読む 2017/06/04(日)18:44 ID:Bct9UQQT(17/64) AAS
>>16 つづき
７．さて、私は、時枝解法を過去スレ>>163で、「時枝パラドックス」名付けた
パラドックスの意味は、過去スレ>>228 パラドックスとは 外部ﾘﾝｸ:ja.wikipedia.org での狭義「論理的な矛盾」としたい
９．ここら辺りから、過去スレ>>173 数学と無限 無限のパラドックス 2007年 渕野昌（中部大学） 外部ﾘﾝｸ[pdf]:fuchino.ddo.jpから
P17”帰納法を含まない数学は矛盾しない （フォン・ノイマン，小野勝次etc.）．不完全性定理（K. ゲーデル1931） 帰納法を含む数学が矛盾しないことは証明できない（ことが証明できる）．ほとんどの数学理論は矛盾しないことが，上のゲーデルの定理の仮定している立場を弱めると証明できる（K. ゲンツェン，竹内外史etc. ）”
という話になって、数学的帰納法の話に発展した。
１０．まあ、”数学的帰納法に反例がある”と皆が真顔でいうから、こっちらも脳波がくるってしまった。みなさん、人がわるいから、乗せられてしまった（＾＾；
数学的帰納法は、よく調べると、過去スレ>>330 外部ﾘﾝｸ:ja.wikipedia.org 数学的帰納法
にあるように、「ペアノ算術などの形式な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。
つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される、ということになる。」と
省1
上下前次1-新書関写板覧索設栞歴
あと 669 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s