[過去ﾛｸﾞ]
現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686ﾚｽ)
現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1496568298/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
16: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 18:43:30.80 ID:Bct9UQQT >>15 つづき http://rio2016.2ch.net/test/read.cgi/math/1466279209/15-17 ４．ところで、>>6の”いったい無限を扱うには，(1)無限を直接扱う，(2)有限の極限として間接に扱う，二つの方針が可能である.”という話から、数学的帰納法の話が過去スレで盛んになった 数学的帰納法の話は、まだ決着しておらず、進行中だ ５．過去スレで、Ｔさんは、”独立性の定義から「互いに情報を得られない箱は常に有限個の組」でしかなく”過去スレ>>242という予想を立てて、時枝解法は成り立つと主張した 対して、私スレ主は、過去スレ>>290に示すように、Ｔさんの予想が成り立たないことについて、証明らしいことを書いた。これのフォローは過去スレ>>291>>293に書いた （証明の骨子は、”時枝の定義：「確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される」”から、”互いに情報を得られない”＝”互いに独立”＝”独立”、と３つの用語が同義であるとして、矛盾を導くもの） ６．残念ながら、過去スレ>>290の証明に突っ込みが無いけど（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1496568298/16
17: 現代数学の系譜11 ガロア理論を読む [sage] 2017/06/04(日) 18:44:11.80 ID:Bct9UQQT >>16 つづき ７．さて、私は、時枝解法を過去スレ>>163で、「時枝パラドックス」名付けた パラドックスの意味は、過去スレ>>228 パラドックスとは https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 での狭義「論理的な矛盾」としたい ９．ここら辺りから、過去スレ>>173 数学と無限 無限のパラドックス 2007年 渕野昌（中部大学） http://fuchino.ddo.jp/chubu/method-math-WS06-hoko-inf.pdfから P17”帰納法を含まない数学は矛盾しない （フォン・ノイマン，小野勝次etc.）．不完全性定理（K. ゲーデル1931） 帰納法を含む数学が矛盾しないことは証明できない（ことが証明できる）．ほとんどの数学理論は矛盾しないことが，上のゲーデルの定理の仮定している立場を弱めると証明できる（K. ゲンツェン，竹内外史etc. ）” という話になって、数学的帰納法の話に発展した。 １０．まあ、”数学的帰納法に反例がある”と皆が真顔でいうから、こっちらも脳波がくるってしまった。みなさん、人がわるいから、乗せられてしまった（＾＾； 数学的帰納法は、よく調べると、過去スレ>>330 https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95 数学的帰納法 にあるように、「ペアノ算術などの形式な体系では、数学的帰納法を証明に用いてよいことが公理として仮定されるのが普通である。 つまり、形式的には、自然数の性質から数学的帰納法の正しさが証明できるのではなく、逆に自然数の本質的な性質を与える推論規則として数学的帰納法が仮定される、ということになる。」と 勉強になりました。ｍ（＿ ＿）ｍ http://rio2016.5ch.net/test/read.cgi/math/1496568298/17
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.044s