[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 [無断転載禁止]©2ch.net (795レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1505609511/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
676: 132人目の素数さん [sage] 2017/09/30(土) 09:16:03.39 ID:8dEJ6T68 >>667 >この間違え方は作為的には見えなかった 述語論理を学んだことがないんでしょう そもそも学習意欲もないんでしょうけど なんでもかんでも自己流でやる人は 実は怠惰でしかも臆病なんですね 学習の課程で自分の誤りに気づく屈辱に耐えられない そういう人は学者にはもっとも向かないですね 研究は誤りの連続ですから 誤りなしに一直線に結論に到達することはありません まあそういう舞台裏を白状する研究者はまずいませんが 研究したことがあれば否応なく分かる現実ですよ http://rio2016.5ch.net/test/read.cgi/math/1505609511/676
719: 132人目の素数さん [sage] 2017/09/30(土) 18:22:32.12 ID:8dEJ6T68 >>695 >co-tailは、ある番号から先のしっぽで、全ての同値類の元たちに共有されている部分だ どの番号についても、同値類の中で、尻尾を共有しない数列の存在が示せるのだから 論理を知る「人間」ならば、co-tailが存在しないことがわかる 論理を知らぬ動物は理解できなくても仕方ないが http://rio2016.5ch.net/test/read.cgi/math/1505609511/719
720: 132人目の素数さん [sage] 2017/09/30(土) 18:29:23.78 ID:8dEJ6T68 >>696 >論点は「N~は無限公理を満たさない」が正しいかどうか 拡大自然数の集合N~は、自然数の集合Nに「∞」を追加したものであるから ∞が、無限公理の反例になる >”超実数” 拡大実数∞は超実数ではない この瞬間、あなたは論点を外した http://rio2016.5ch.net/test/read.cgi/math/1505609511/720
721: 132人目の素数さん [sage] 2017/09/30(土) 18:33:53.38 ID:8dEJ6T68 >>697 >私が、言っていることは、 >最初から、”可算無限個”の定義を変えて行く >ってことだよ 定義の変更は認められません 箱入り無数目ではっきりと 「実数列の集合R^Nを考える」 と書かれており、 「実数列の集合R^N~を考える」 とは書かれていません この瞬間、あなたの「異数学」は却下されました 残念でした さようなら http://rio2016.5ch.net/test/read.cgi/math/1505609511/721
722: 132人目の素数さん [sage] 2017/09/30(土) 18:40:25.53 ID:8dEJ6T68 >>698 >“境界”概念を集合(のセット)まで拡張すれば、 > [0,2)と[2,∞)の集合セット、及び、 [0,2]と(2,∞)の集合セットとして、 >これを“元2”の左右境界とすることができる。 正しくは 2未満の自然数と2以上の自然数の境界ですな >この場合、境界は必ずしも実数Rの元でなくとも良い。 この場合、境界は必ず自然数Nの元である必要があります 超準的自然数も自然数です あなたがご存じないだけでしょう http://rio2016.5ch.net/test/read.cgi/math/1505609511/722
723: 132人目の素数さん [sage] 2017/09/30(土) 18:45:41.60 ID:8dEJ6T68 >>699 >「おまえ何が言いたかったんだ?」 あなたこそ何が言いたいんでしょうか? ∞を超準モデルで正当化したいのでしょうか? 残念ながら、∞だけを正当化することはできません ∞が超準的自然数なら、∞+1も∞−1もそうなります そしてR^NのNが超準的自然数であるとしても あなたが期待するような「箱入り無数目」の 予測の失敗例は導けません あなたの期待する予測失敗例は「最後の番号∞」 のみを導入する形でしか実現できません そして∞は自然数の公理を真っ向から否定するものです つまりあなたの期待する数学は、自然数論とは異なる 「不自然数論」という「異数学」なのです http://rio2016.5ch.net/test/read.cgi/math/1505609511/723
724: 132人目の素数さん [sage] 2017/09/30(土) 18:49:59.50 ID:8dEJ6T68 >>700 >拡大実数(拡大実数)は、実数の±∞を追加したもの それだけなら、超実数のモデルにはなりません >>701 >拡大自然数N~と、通常の自然数Nとを比較することで、理解が深まる N~とNは異なります 射影平面と、ユークリッド平面が異なるのと同じことです http://rio2016.5ch.net/test/read.cgi/math/1505609511/724
725: 132人目の素数さん [sage] 2017/09/30(土) 18:57:56.35 ID:8dEJ6T68 >>702 >射影平面の3通りの定義 >https://mathtrain.jp/projectiveplane まあ、別に3つに限りませんが 多様体は座標系の貼り合わせとして定義されますが これは座標系の貼り合わせによる射影空間の定義の一般化です 射影平面の場合、3つの座標系の貼り合わせで実現できます そこから上記の3つの定義との同値性が示せます 大学の数学科の学生なら知らないものはいないほど当たり前のことです しかし他学科の学生はそもそも射影平面を知りません 残念なことです http://rio2016.5ch.net/test/read.cgi/math/1505609511/725
726: 132人目の素数さん [sage] 2017/09/30(土) 19:03:09.93 ID:8dEJ6T68 >>703 >1.まず、拡張自然数N~ における”可算無限数列のしっぽでの同値類”は、 > ラベル∞の箱に入る実数r_∞で決まる >2.一方、通常自然数N における”可算無限数列のしっぽでの同値類”は、 > ラベル∞の箱に相当するものが存在しないから、 > しっぽは開であり、終わりが存在しない 1.の場合の同値類はRと同じですが 2.の場合の同値類はR^Nと同じです 箱の中身が例えば集合2(={0,1})の要素なら 1.の場合の同値類は2と同じですが 2.の場合の同値類は2^Nと同じです ここまであけすけに書けば全然違うことが分かるでしょう http://rio2016.5ch.net/test/read.cgi/math/1505609511/726
727: 132人目の素数さん [sage] 2017/09/30(土) 19:07:07.68 ID:8dEJ6T68 >>706 >下記の関数の連続性のε−δ論法を見て下さい >1)関数f(x)がf(a)で連続と言いたい。つまり、f(a)の周りに、必ず任意の(小さな)有限部分が取れる > ↓ >2)関数f(x)がf(a)で連続とは、f(a)の近くの、任意の(小さな)有限部分εで、 |f(x)?f(a)|<εを考えたとき、必ず |x?a|<δとできる >これ、「・・・は、任意の有限部分が○○のとき、○○ 」という言い方と同じ構造なんですよ コンパクトの場合の有限個(=自然数個)と、εの有限(=正の実数値)を 全く同じ意味だと思うのは、大学数学の教育が欠如しているせいだろう http://rio2016.5ch.net/test/read.cgi/math/1505609511/727
728: 132人目の素数さん [sage] 2017/09/30(土) 19:09:20.03 ID:8dEJ6T68 >>708 >マインドフルネス いわゆる「異科学」の典型ですね http://rio2016.5ch.net/test/read.cgi/math/1505609511/728
729: 132人目の素数さん [sage] 2017/09/30(土) 19:15:53.71 ID:8dEJ6T68 「マインドフルネス」の教祖はこの方らしい ジョン・カバット・ジン https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%B3%E3%83%BB%E3%82%AB%E3%83%90%E3%83%83%E3%83%88%E3%83%BB%E3%82%B8%E3%83%B3 http://rio2016.5ch.net/test/read.cgi/math/1505609511/729
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s