[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 http://rio2016.5ch.net/test/read.cgi/math/1581243504/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
112: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2020/02/11(火) 11:24:57 ID:6xY3HAGO >>109 >そもそも現実世界には無限個の箱はないだろ >あったとしても、実数の無限列ｓ、ｓ’に対して >「ｓとｓ’がある箇所から先一致する」 >と判定する手続きがないだろ >（これ言い出すとそもそも尻尾の同値類が > 構成できないということになる） どうもスレ主です。 この考察は、良い線行っていると思う １．”実数の無限列ｓ、ｓ’に対して「ｓとｓ’がある箇所から先一致する」と判定する手続きがないだろ”は、人間の能力の限界として正しいが これを認めると、コーシー列で定義された二つの異なる実数r,r' の区別が出来ないことになる なので、数学は思念として可能としている （所詮、人間は、無限を極限として、考えているにすぎないのかもしれないね） ２．同様に、物理的に無限個の箱はないとしても、数学界では思念上の形式的冪級数は存在し、形式的冪級数の係数を無限の箱と見れば良い （形式的冪級数も、結局はｎ次多項式のｎ→∞の極限として、考えているにすぎないのかもしれないね。コーシー列に同じ） （参考） https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 定義 A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、 Σn=0〜∞ anX^n=a0+a1X+a2X^2+・・・ の形をしたものである。 http://rio2016.5ch.net/test/read.cgi/math/1581243504/112
113: １３２人目の素数さん [] 2020/02/11(火) 11:31:25 ID:yCL40qf3 >>112 ＞コーシー列で定義された二つの異なる実数r,r' の区別が出来ない rとr'の定義次第で、できるときもある むしろ、ほとんど全ての実数は人力では構成不能、 という点のほうが重要かと思われ http://rio2016.5ch.net/test/read.cgi/math/1581243504/113
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.015s*