[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
596: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/01(日) 20:43:01.30 ID:dvD9YE7H >>595 1) もし、反例の自然数o∈Nがあったとする 2) しかし、数学的帰納法で、あるnについて成立つとして( n<o と仮定して)、 m=o−n で、mが有限である限り 必ず、n+1, n+2, ...で、自然数oに到達する 3) 従って、o∈N なる反例はない! QED 自然数に∞が含まれている?ww(^^ http://rio2016.5ch.net/test/read.cgi/math/1566715025/596
597: 132人目の素数さん [sage] 2019/09/01(日) 21:08:36.60 ID:IVtPZNby >>596 > あるnについて成立つとして > 必ず、n+1, n+2, ...で、自然数oに到達する >>583 > 確率変数X1,X2,・・・,Xn n+1, n+2, ... はないから到達しないでしょ http://rio2016.5ch.net/test/read.cgi/math/1566715025/597
609: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/02(月) 07:24:54.54 ID:C7KIpkvI >>607-608 >> 「無限公理」は、デフォルトであり >だから箱の数を数学的帰納法で無限個に増やすのはナンセンスだと ・ペアノの公理が理解できていませんね。下記をお読みください(^^ ・あなたの主張だと、「出題者が箱に1つずつ数を入れていく」(下記時枝ご参照)だと、そもそも可算無限長の数列が作れなくなりますよね。それはおかしいw(^^; ・数学的帰納法が分かっていないのは、だれでしょうね?w (参考) https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 (抜粋) ペアノの公理とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。 定義 2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。 http://tenmei.cocolog-nifty.com/matcha/2009/11/post-81dd.html 「1+1=2」はなぜか?〜ペアノの自然数論(足し算) テンメイのRUN&BIKE 2009年11月28日 (抜粋) ペアノの根本的なアイデアは、現実世界の足し算を証明するのではなく、 人工的な数学の世界で足し算を作るということだ。それでは現実と関係 ないのかというと、そんな事はない。普通の足し算はすべて完全に導き 出せるし、現実離れしたおかしな話が出てくることもない。 (>>350より) スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/ 時枝問題(数学セミナー201511月号の記事) 「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる. どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 あと >>598&>>596&>>592&>>583 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/609
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s