[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
605(3): 現代数学の系譜11 ガロア理論を読む 2016/12/03(土)10:38 ID:6Rgz8i9T(1/41) AAS
>>575
>＞仮定が現実離れしていては意味がない
まず、再度強調しておくが
１．もともとは、箱には任意の実数を入れる。つまり１つの箱に連続無限大の自由度があるのだ。
２．対して、いまは、箱に０〜９の極簡単なミニモデルを考えている。
３．０〜９の数を箱に入れる極簡単なミニモデルでも、可算無限数列のしっぽは、現代数学では扱えない。
４．まして、任意の実数が箱に入る場合においておや。
606(2): 現代数学の系譜11 ガロア理論を読む 2016/12/03(土)10:41 ID:6Rgz8i9T(2/41) AAS
>>605 つづき
で、例えば、話は変わるが、仮に、下記”超越数かどうかが未解決の例”「e+π、e-πが有理数であるのか無理数であるのか証明されていない」を認めるとしよう
また、十進法で、下記”有理数”で「有限小数または循環小数のいずれかとなる」ことも認めよう。
もし、０が続くことを循環小数に含めるなら（1/3=0.333・・・の類似）、循環小数かどうかを見極めることができるなら、有理数であるのか無理数であるのか見分けることが可能だということだ
つまり、実数を無限小数に展開したときに、そのしっぽを見れば、循環小数かどうかを見極めることができ、有理数か否か判定可能
ところが、「e+π、e-πが有理数であるのか無理数であるのか証明されていない」のだから、現代数学は、いまだe+π、e-πの少数展開のしっぽが循環小数かどうかを見極める方法を持たないということだ
これは、>>575 時枝解法での可算無限のしっぽの見分け>>114が、箱に０〜９の極簡単なミニモデルでさえも、現代数学では不可という例示だ
省12
613: 現代数学の系譜11 ガロア理論を読む 2016/12/03(土)11:06 ID:6Rgz8i9T(8/41) AAS
>>609
e =1/1!+1/2!+1/3!+1/4!+・・・+1/n!+・・・
π=1-1/3+1/5-1/7+・・・=Σn=0-∞(1/(2n+1))*(-1)^n （ライプニッツの公式） 外部ﾘﾝｸ:ja.wikipedia.org
e、πとも収束する
両者を表現する公式も分かっている
だけど、e＋πのしっぽが分からん
循環小数になるか否かがわからん
省12
614(1): 現代数学の系譜11 ガロア理論を読む 2016/12/03(土)11:15 ID:6Rgz8i9T(9/41) AAS
>>605つづき
ところで
＜数学は、同値を定義し、推移律を確認すれば終わりなのか？＞
１．同値を定義し、推移律を確認したところから、数学が始まるのでは？
２．例えば、下記サーストンによる幾何化予想、コンパクト3次元多様体の8つの部分多様体による分類。これはまさに上記の例では？
（同値を定義し、推移律を確認したところから、数学が始まる）
３．だから、>>114の”同値を定義し、推移律を確認すれば終わり”という書き方は、有限を扱うならまだしも、可算無限を扱うには、あまりにも粗雑だろう
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s