[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
551(1): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)13:12 ID:dKz7cXDk(27/37) AAS
>>549 補足
構成主義と”自然数の定義における非述定性”、（推移性）を見るだけでは不十分！
外部ﾘﾝｸ[html]:www.info.human.nagoya-u.ac.jp
久木田水生のページ - 人間情報学研究科 - 名古屋大学
外部ﾘﾝｸ[pdf]:phsc.jp
外部ﾘﾝｸ[pdf]:ibrarian.net
久木田水生「フレーゲの論理主義再考」（科学基礎論学会，鳥取大学，2007年）
(抜粋)
１ フレーゲによる数学的帰納法の導出
フレーゲは概念の間の等数性を、二つの概念に帰属する対象の間に一対一の対応がつけられること、として定義する。概念Fz とGz が等数であるということをFz ≡ Gz によって表すことにする。
省11
552: 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)13:16 ID:dKz7cXDk(28/37) AAS
>>551
要するに、ここで示したのは、「（推移性）を確認しました」→「だからそういう集合が存在します」とは言えないと
話は逆で、「そういう集合（または対象）が存在する」→「（推移性）を確認しました」が話の順序だろうと
553(1): 2016/11/27(日)13:55 ID:CnaRbCke(2/8) AAS
>>548
> そこで、問題は、１）と２）の実行（ 特に１）の実行）は、だれがどうやってやるのか？
> そこは全く時枝記事では触れられていないよと。そこを問題視している
R^Nが類別可能であることはこの記事の大前提。
その仮定を認めないのはお前の勝手だ。
認めないならお前にとってこの記事は意味をなさない。
この記事を論じるにあたってお前の発言はすべて無意味。
だからひっこんでろ。
554(2): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:00 ID:dKz7cXDk(29/37) AAS
>>540 >>542-545
おっちゃん
外部ﾘﾝｸ:www.ole-b.com
円周率計算の世界記録は12.1兆桁らしいが、これって本当にあってるの？ - おれブログ: 2014-09-19
(抜粋)
先日新聞で読んだ円周率に関する記事。
計算桁数記録は現在12.1兆桁。日本人の近藤茂さんと米国人のアレクサンダー・Ｊ・イーさんのタッグで生み出された成果らしい。
12.1兆桁という途方もない桁数にも驚いたが、それよりも気になったのは前人未踏の12.1兆桁って誰がどうやって正しいことを証明するんだろうってこと (´・ω・`)
省8
555(1): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:03 ID:dKz7cXDk(30/37) AAS
>>553
>R^Nが類別可能であることはこの記事の大前提。
妄想にすぎない
否定するなら、論文を提示してくれ
と構成主義者ならいうね
いや、具体的手順を示せというかもな（＾＾；
556(2): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:08 ID:dKz7cXDk(31/37) AAS
>>554 つづき
例えばネイピア数の公式 （πの公式はこの粗末な板で書くには複雑すぎる・・・）
外部ﾘﾝｸ:ja.wikipedia.org
ネイピア数の表現
(抜粋)
級数による表現
ネイピア数 e は次のような級数で表される。
１． e = Σ k 0→ ∞ (1/ k !)
２． e = Σ k 0→ ∞ ((k+1)/ k !)/2
(引用終り)
省17
557(1): 2016/11/27(日)14:09 ID:CnaRbCke(3/8) AAS
>>555
だから『仮定』と言ってるだろｗアホウ。
558(1): 2016/11/27(日)14:26 ID:CnaRbCke(4/8) AAS
それともなに？『仮定』がZF公理系に矛盾するとでも言いたいの？
そういう主張は大歓迎だ。証明しろ。今すぐに。
証明できないなら論文を提示しろｗ
俺はR^Nが類別可能であることの無矛盾性など示す気はない。
（暇ならお前やれば？ｗ）
だから俺は『仮定』と言った。
このR^Nが類別可能であると『仮定』して記事を読んでいる。
仮定を認めないお前は時枝記事を語る資格無し。
（その場合、お前の大好きなヴィタリ集合の存在とどう折り合いをつけるのか知らんがｗ）
外野から『この仮定は成り立たないじゃないかなーー・・・』と孤独につぶやいてれば良しｗ
559: 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:30 ID:dKz7cXDk(32/37) AAS
>>556
コンピュータ計算のα線によるソフトエラー をご存知だろうか？
外部ﾘﾝｸ[html]:toshiba.semicon-storage.com
Si-SiO2界面 | 東芝 ストレージ＆デバイスソリューション社: 2016年4月現在
(抜粋)
ソフトエラー (参考文献6)
以前より、微細化デバイスではパッケージや配線材料に含まれる微量な放射線元素 (ウランU、トリウムTh) から放射されるα線が問題となっています。
このα線がデバイス内のPN接合近傍に入射された時、その飛程に沿って電子-正孔対を発生させます。
この発生した少数キャリアにより、DRAMやSRAMなどのメモリセル内のデバイス情報が反転してしまう現象をソフトエラーと呼んでいます。
ソフトエラーは、メモリセルモード、ビット線モードに大別されます。
省13
560(1): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:37 ID:dKz7cXDk(33/37) AAS
>>557-558
仮定仮定か
「宝くじが当たって１億円」>>470 と同じだな
仮定が現実離れしていては意味がない
「貯金が１億円あれば」と仮定しても、現実の今日の生活とは無関係
「時枝の記事は正しい」と仮定すれば、議論はすぐ終わる
が、それでは雑誌の記事としては、意味がないだろ
あくまで、既存の数学の枠内でどう解釈できるのか
そして、時枝の示した解法が、どれだけ現実的意味を持つのかの評価
省1
561(1): 2016/11/27(日)14:48 ID:CnaRbCke(5/8) AAS
もう少し補足しよう。
有理数の差をもつ2つの実数を同一視した剰余群R/Qを考える。
たとえば1.234111111...と2.345111111....は同値である。
区間[0,1]で得られる代表系をヴィタリ集合と呼ぶのであった。
スレ主の論法によると、2つのa,b∈Rはいつまでたっても同値性を判定できない。
なぜなら末尾の1111...がいつなんどき2や3に変化するとも知れないからだ。
となると、スレ主にとっては『有理数の差をもつ2つの実数を同一視する』という
同値関係自体が認めがたいものになる。
よってスレ主がたびたび話題に挙げたヴィタリ集合は存在不可、
無意味な仮定に基づいた妄言に過ぎない、となる。
省4
562(1): 2016/11/27(日)14:54 ID:CnaRbCke(6/8) AAS
じゃあ時間の無駄なのでさようなら。御馬鹿殿。
563(1): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:57 ID:dKz7cXDk(34/37) AAS
>>541
個人的に下記の記事は結構面白かった
外部ﾘﾝｸ[html]:eman-physics.net
非相対論的にスピンを導く シュレーディンガー方程式の線形化。
(抜粋)
動機
ディラック方程式ばかりを使ってスピンの話をしていると、スピンは相対論的な効果の現れだというイメージで考えが固まってしまう惧れがある。今回はディラック方程式を使うことなくスピンの存在を導いて見せて、その辺りの考えを突き崩しておくことにしよう。
基本的な思想は前にクライン・ゴルドン方程式を線形化してディラック方程式を得たのと同じなのだが、途中の計算には少しばかり技巧的なところがあって、一体どうしてこんなことが思いつけるだろうかと感じるかも知れない。
なぜそんな手続きが必要なのか、と問われたら何と答えようか。時間と空間座標は対等であるべきだから・・・などと説明すれば、やはり相対論の思想が根底にあるのではないか、という結論になってしまいそうだ。
省4
564: 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)14:59 ID:dKz7cXDk(35/37) AAS
>>563 つづき
手続きの説明
この展開結果を (2) 式と比較すれば解決しそうである。しかし残念ながら、今回はそれほど単純には答えは出ない。できるものならやってみるといい。私ならこの程度の障害にぶつかった時点で「シュレーディンガー方程式の線形化は不可能である」と結論して早々に諦めてしまうことだろう。
しかし頭のいい人がいるもので、A、B、Cとは全く別の係数A′、B′、C′を導入して、
という式を作り、これを展開したものが (2) 式と同じになるようにすればいいと考えたのである。係数を増やすなんて無茶なことをすればそれだけ面倒な要素が増えてしまう気がする。そういう事は出来るだけ避けたいという思いが新しい思い付きを鈍らせる原因になっているのだが、実はそれほど複雑なことにはならない。
省4
565(2): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)15:17 ID:dKz7cXDk(36/37) AAS
>>561-562
その声は、Tさんだな
なんど、「さようなら」を言っては戻ってきたことか？
もう、来るなよ（＾＾；
ヴィタリ集合論との違いは
１．ヴィタリ集合論は、ヒルベルト空間の中(内積＝距離が定義され、完備な空間)。時枝解法R^Nは、外
２．さらに、時枝解法は、その後完全同値類分類を達成し、代表元を定めて、決定番号を決めるプロセスに繋げる必要がある
３．さらに、１００列で、確率99/100を導くことのできる良い性質を備えなければならない
いま論じているのは、「時枝解法R^Nは、確率99/100を導くことのできる良い性質を備えてはいない」（解法不成立）という視点からの議論だよ
以前にも書いたが、ヴィタリ集合論、ヒルベルト空間の中では、しっぽ（小数点の下位）の先の些末な差は、距離が定義されているから、小さくなり、ゼロに収束するのだ
省5
566(15): 現代数学の系譜11 ガロア理論を読む 2016/11/27(日)15:49 ID:dKz7cXDk(37/37) AAS
>>565 補足
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
超越数（ちょうえつすう、英: transcendental number）とは、代数的数でない数、すなわちどんな有理係数の代数方程式
の解（英語版）にもならないような複素数のことである。
(引用終り)
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
代数的数（だいすうてきすう、英: algebraic number）とは、ある有理数係数の 0 でない多項式の根となる複素数のことである。
(引用終り)
省16
567: 2016/11/27(日)16:21 ID:CnaRbCke(7/8) AAS
>>566
> さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える ∵無限少数展開のしっぽは一致しないから
>
> つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
お前の主張はほとんどこれｗｗ
『aとbが同値でないならば、aとbは同値でない』
568(2): 2016/11/27(日)16:31 ID:C7ghjjL/(6/11) AAS
>>548
>どうやって、無限数列のしっぽを見分けるのか？
>（時枝記事の>>114 推移律チェックは、「無限数列のしっぽが見分けられたら」が前提であることを、再度注意しておくよ）”
Nで1以上の自然数全体の集合を表わす。xy平面 R^2 上で、すべての n∈N に対して、x座標がnの点 P(n) を通りx軸に垂直
な直線 L(n) を引く。直線 L(n) 上の1点から R^2 上の右側に向けx座標を増加させながら曲線 C(n) を引く。
いわゆる、幾何的には高校で習うような関数のグラフを考えることになる。すると、各 C(n) n∈N に対して、
数列空間 R^N の点 s＝(s_1, s_2, s_3,…) の全体が構成される。そこでスレ主が>>548で
>１）無限数列のしっぽを見分ける
> ↓
>２）しっぽの一致不一致が分かる
省8
569(1): 2016/11/27(日)16:34 ID:C7ghjjL/(7/11) AAS
>>548
(>>568の続き)
スレ主のいうように1)と2)の実行が出来るかどうかを問題視するにあたっては、
文脈上と読解上「無限数列のしっぽを見分けられないこと」を前提とするしかない。
つまり、「無限数列のしっぽを見分けられない」として話を進めることになる。
3角関数のグラフの曲線のように、上下の値が有界であるような周期関数のグラフ C(n), ∃n∈N に対して、
C(n) との交点が可算無限個存在するような直線 l(n) を引いた場合も含めて考えることになる。
このような可算無限個の交点と l(n) の存在性は、周期関数の定義と周期関数の上下の有界性から幾何的にはすぐ分かる。
各 n∈N に対して L(n) と l(n) の交点のx座標を s_n とする。値が小さい方から s_1, s_2, … と並べて行く。
すると、R^N の点 s＝(s_1, s_2, …) が構成出来る。このような R^N の点 s＝(s_1, s_2, …) の構成は、
省13
570: 2016/11/27(日)16:35 ID:CnaRbCke(8/8) AAS
混沌のおっちゃんが現れたので本当に退散しますｗ
お勤めがんばってねスレ主さん
上下前次1-新書関写板覧索設栞歴
あと 146 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s