No.1
120: 物理の数学はどこが厳密ではないのか (79)
レス数: 52
概要: よく言われることだが、具体的にどこが厳密でないのか
No.29
No.30
今の薬膳は紛い物。本当の薬膳は何であるか
https:
No.31
犯罪学やるの保健体育
道徳では犯罪学やらない
保健体育で僅かに触れる
No.32
ということは、
その時期の数学の体系の中では認識
されないということがありえる。
No.33
https:
No.34
物理の数学が数学の数学と矛盾したら数学の数学の方が変わるべき
そういう主従関係
No.35
No.36
数学の中で普遍性を獲得する例は多い
No.37
No.38
分けも分からずつまらぬコメントするな
No.39
>>35
アンカーミス
>>37
No.40
No.41
用いる用いないは議論しない。
微分方程式ではまず解が存在するか
どうかを議論など普通はしない。
関数の収束をどのノルムで考えてでの
ことであるかについても特に議論など
しない。
無限級数が条件収束しているときの
緻密な議論はしない。などなど。
No.42
実際に公理として完備性と同値な条件を設定して議論してを進める本も多い、けどその中で「公理を満たすものが本当に存在するのか？」なんてことまで議論する本は少ないだろう
選択公理も歴史的な背景で特別視されてるだけで、今となっては当たり前のものとして認めていいと思うよ
No.43
そんな狂ったこと今の数学では一切議論しない
昔は狂ってたから議論しただろうが
みんな●違いになって死んでった
No.44
それ以外どうしようもなかったからというのが本音
カントールのやり方を否定すると、実数なんか存在しねえと絶叫する耄碌爺のクロネッカーみたいになっちまう
No.45
0.999…=1を満たす物
0.999…≠1を満たす物
もある？
No.46
IUTを満たす物
他には？
No.47
No.48
No.49
コーシー列を使うのは位相空間論が整備されてなかったからでしょ？
No.50
無限から無限を引くところ？
No.51
巨大基数公理も認めましょう
No.52
＞コーシー列を使うのは位相空間論が整備されてなかったからでしょ？
そういう話はしていない
コーシー列は収束する、というために
そもそもコーシー列の同値類を考えて
それを収束先だとしてしまえばいい
という発想の大胆さを語っている
アレキサンダー大王がゴルディアスの結び目を
剣でブチ斬ったようなもの
そうは思わないか？
No.53
したがって、理学部＝自然科学部、とすると
数学科が理学部にあるのはおかしい（笑）
東大の数学科が駒場にあって、
他の理学部の学科みたいに本郷に行けない
というのは、考え方としては悪くない
そういう意味では情報科学も自然科学ではない
情報科学は科学なのか？という疑問はあるが
言語学が科学であるなら、情報科学も科学だろう
数学や情報科学が人文科学であるなら
文学部に入るのが妥当かもしれん
まあ、そこまで求めないがね（笑）
No.54
構成されているという建前をとっている。
歴史的に理学への応用が深いから
理学部に入っている。
工学への応用も深いのだが歴史的な
事情により理学部には入っていても
工学部には入っていない。
情報科学は、おそらく数学の1分野
（主に離散数学）であるのが妥当。
ただし歴史的な事情により、
数学とはされていない。
No.55
ポエムは要らない
No.56
No.57
数学は論理を使用しているだけで、論理学ではない
物理が数学を使用しているだけで、数学ではないのと同じ
歴史的経緯とかしたり顔でいうのは
「ボクは思考能力ゼロの馬鹿でぇす！」
っていうのと同じだから舌嚙み切って
新しい舌を生やしたほうがいいよ
工学とか農学とかは学問ではなく「職業訓練」
これ豆な
情報科学という言葉が何を意味するのかは明確でないが
離散数学は情報科学ではなく数学
単に数学屋内の権力闘争に負けた離散数学が情報科学に居候してるだけ
形式論理学は情報科学といっていい
というかそもそも論理学がメインで
プログラミングはその応用の一つである
だから本当は論理学科というものを作るべきなのである
No.58
＞数学屋内の権力闘争に負けた離散数学
別に数学として劣っているということではなく
単に数学のメインストリームとみなされなかった
というのが正しい
もちろん、これは実はおかしなことである
表現論のRobinson-Schensted対応をKnuthが拡張しており
これが数学でも使われている
これ自体は表現論抜きで組み合わせ論として考えられるが
それだけなら低級だという奴は●違いというか狂ってる
No.59
物理は、理論が伴わなければ口にしない。 そのうち世間が認めてくれる
しかし金は必要だ
No.60
日本の数学者は多い。
No.61
No.62
現代数学に最も影響を与えたのはKnuthだな
No.63
PDFファイルで出版や配布、ダウンロードは
簡単では無かったかもしれない。
反面読み切れないほどの論文の洪水を招いた。
No.64
の仕事を無くし、
論文や本を印刷するための印刷工場を無くし、
論文誌や本を販売するための流通と書店を無くし、
論文誌や本を蔵書するための図書館を無くし、
というグーテンベルグ以来の図書の製造と
流通と蔵書の仕組みを破壊したのがTeXと
その周辺の情報技術。
いずれ、論文誌や本の編集校正はAIがやる
ようになり、論文や本の執筆もAIがやるようになり、
論文や本の査読と要約、知識の分類と体系化と検索
もAIがやるようになり、研究もAIがやるように
なり、人間はまったく要らなくなるのかも
しれない。論文や本を人間が読む必要が
なくなるときが来るのだろう。
出版以外にも、学校教育システム
（小、中、高、大学、大学院）も
いずれはその在り方が別の何かに
置き換わっていく可能性もあると思う。
そもそも人間が物事を学ぶ必要が無く
なってしまうかも。
No.65
計算機のハードウェアソフトウェアに跨る分業化専業化抽象化が行われて
それらの職より多くの雇用を生む巨大産業が育ってる。
金科玉条のごとく現状に甘んずる人類を称揚しても意味などなく有害。
No.66
それで理論建てしてるからそれに合わせて数学もゆがむ
光速度より速く空間が伸びるって時点でもっと上位の理論がいるんだよ
第一光速度が上限であって、ゼロ点が決まってない
我々の周りが亜光速で動いてるかもわからんし
我々はF=maの力だけで簡単に加速出来る
一方光速度の99.99999％の世界でも、F=maの力で加速できる
同じFで同じ加速度でな
どこかにある速度絶対ゼロの世界でも、同じFの力で同じ加速する
ゼロ点が違う世界から見れば、亜光速からさらに加速するためにたったFで加速出来てしまうことになる
大いなる矛盾がある
No.67
いろいろおかしい
上限を光速度に決めちゃって
なおかつ絶対ゼロを想定もせず、相対的に度kでも通用する理論ってのは
基本の世界を複数並べて比べるだけで矛盾が出てくる
No.68
No.69
つまり宇宙空間を今どの速度で進んでるのかを、光速を測って逆算しても
常に速度ゼロとしかならない
大おなる矛盾
No.70
No.71
No.72
No.73
物理学は仮にそれが数理で完全に記述
できるものであるとしても、すべての
公理がまだ把握されてないかもしれない。
また、設定した公理が現実と一致しなけ
れば、その設定された公理を基にして
導かれた理論は現実の物理を説明しきれ
ないことになる。
No.74
物理学は数学公理に制限があるんだよね
ただ逆に、数学は物理何らを使うのに数学側に制限がある
No.75
現実的ではない。
No.76
数学は証明が無いと予想のままで定理にならない。
だから、物理の方から「早く証明して物理の法則に数学的な後ろ盾をよこせ」と、せっついている。
重力定数とは「今」は通じても太陽の寿命が近づいて肥大化すると地球との距離が近くなるので変わる可能性がある。
（変わる頃には生物の生きられない灼熱地獄になっているかも知れんが）
No.77
https:
