[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 [無断転載禁止]©2ch.net (795ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
740: 2017/10/01(日)09:11 ID:uIo4DGr8(1/7) AAS
>>731
＞スレ主って年々ダメになってないか？
＞60過ぎたから無理もないが・・
なんだただの耄碌爺か
781: 2017/10/01(日)13:42 ID:uIo4DGr8(2/7) AAS
>>762
>>どの番号についても、同値類の中で、尻尾を共有しない数列の存在が示せる
>時枝記事より
>「実数列の集合 R^Nを考える.
> s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，
> ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき
> 同値s 〜 s'と定義しよう」
省7
782: 2017/10/01(日)13:47 ID:uIo4DGr8(3/7) AAS
>>763
>>∞が、無限公理の反例になる
>公理に、”反例”という言葉は使わない
使う
∞∈N~だが、∞＋１∈N~でない
x+1はｘ∪｛ｘ｝
∞＝{0,1,2,3,・・・｝(＝N)
省1
783: 2017/10/01(日)13:50 ID:uIo4DGr8(4/7) AAS
>>764
＞数学の研究対象として、定義を拡張あるいは変更して、
＞考察するというのは、常套手段だよ
数学の問題の結論が気にいらないという独善的な理由で
前提を変更して否定するというのは邪道だよ
＞視野が狭いね（＾＾
あなたこそ了見が狭いね（＾＾
784(1): 2017/10/01(日)13:53 ID:uIo4DGr8(5/7) AAS
>>767
>>超準的自然数も自然数です あなたがご存じないだけでしょう
>サイコパス”17.慢性的に平然と嘘をつく”か
自然数の公理を満たすなら自然数です
標準的自然数だけが自然数だというわけではありません
注）標準的自然数とは自然数論のどのモデルにもある自然数
ゲーデルの完全性定理により、自然数論からその存在が証明できる
786: 2017/10/01(日)14:01 ID:uIo4DGr8(6/7) AAS
>>768
>>標準的自然数と非標準的自然数の明確な境界は存在しない
>この話が、子供だましの数学的証明につながるとは思わなかったね（＾＾
>>784 でも述べたように
「標準的自然数とは自然数論のどのモデルにもある自然数」
である、逆に非標準的自然数は、これを含まないモデルが存在する
（実は標準的自然数のみを含むモデルが存在する）
省2
788: 2017/10/01(日)14:06 ID:uIo4DGr8(7/7) AAS
>>770
>おれが、最初から言っていることを繰返しているだけじゃねーか（＾＾
あなたがNとN~は違うと云っているなら
R^N~で、箱入り無数目が成立しなくても
R^Nで、箱入り無数目が成立しないことの
証明にはなり得ないと云ってることになりますが
そうだと認めますか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s