[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
168: １３２人目の素数さん [] 2018/01/04(木) 12:33:59.05 ID:4V9t1bpU(1) AAS
834名無しさん＠お腹いっぱい。2018/01/03(水) 23:27:05.00ID:OwRfM25O
https://www.youtube.com/watch?v=TZE7hl4FzDY
お母様。ぼくは高校の時そう1年か2年の始め宇宙が無から始まったと思っていました。
中学の時、あるところに行く道が幾通りかある時自分が選んだ道筋は後から見たら当然実現したことになってる。
と思った。で、宇宙が無から出来たらこの宇宙の法則では当然この宇宙が生まれこうなった。という理屈があるだろう。
と言う事で、これを解明する理論が万有理論である●●論なのだ。そしてその研究をやって来たのだ。で、これは
集合論では無限が実現出来れはその結果からさらに無限が生まれさらに・・・と続く。これは不完全性理論が成り立つ
理由であるが、宇宙膨張の理由だろう。集合論ではその要素である元はまず数えられる存在であり、まず 0 がある。
その集合である｛０｝とする。これを1と数える。それらの集合を｛０、｛０｝｝を2と数え又｛０、｛０｝｛０、｛０｝｝を3と数え・・・・。
こうして何も無いと言う概念の 0 から数の概念を生み出していく。これは集合論の数の創造だが。
数学をやった者なら酔っ払ってもわかるよな。
835名無しさん＠お腹いっぱい。2018/01/04(木) 00:07:18.97ID:nZUhCplw
しかし思うと確かゲーデルの不完全定理ではその体系が正しいとはその体系の内部では決定できない。
とか言うのもあって、バイトする暇もないくらいなんだが、酒は飲みたいのう。
197(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/06(土) 13:36:46.05 ID:sJCr7ecA(4/11) AAS
>>195 補足
R−Bfを拡張して、Ｑ＋the set of Liouville numbers（これは、非可算だが、内点を持たない閉集合の和）を含むように、可算→非可算 まで考える
すると、（>>189）H. M. Sengupta and B. K. Lahiriの結果より
”Let E be the set of points at which f is continuous and where at least one of the four Dini derivates of f is infinite.
Then E is co-meager in R (i.e. the complement of a first category set).”
だから
ｃ）R−Bfが一般の不リプシッツ連続（除く不連続）＊）、Bfが可微分
ｄ）R−Bfが一般の不リプシッツ連続（除く不連続）＊）、Bfが一般のリプシッツ連続（除く可微分）＊）
の２ケースとも、そのような「f : R → R は存在する！」（ ｃ）の具体例が>>190の PDF
"α(ai ) = ∞, T(ai ) is differentiable on the set of all non-Liouville numbers. "だ ）
だから、R−Bfを縮小して、非可算→可算に落としたときに、
「f : R → R は存在しない！」になる数学的な背景があるや否やだが
286: １３２人目の素数さん [] 2018/01/08(月) 23:47:42.05 ID:wOk7ob+W(2/2) AAS
>>276
？
310: １３２人目の素数さん [] 2018/01/09(火) 20:56:50.05 ID:2VVPqXn0(3/9) AAS
>>306
ぷ
322(1): １３２人目の素数さん [] 2018/01/09(火) 22:49:05.05 ID:2VVPqXn0(7/9) AAS
>>320
あそこで定義しているのはXではありませんが？
335: １３２人目の素数さん [] 2018/01/10(水) 08:19:46.05 ID:N+Cjs8Xm(3/6) AAS
ぷ は今回も逃亡しましたとさ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s