どうして数学基礎論は人気がないのか

ゲーデルの不完全性定理とかいう有名定理があるのになぜやってる人が少ないのか

数学じゃないから

これは穿ち過ぎ？
●正解のみ→バズらない
●正解不正解含む→バズる
●不正解のみ→バズらない
正規分布になる人口動態
だから基礎ってやる人少ないのかなでいいのかな？

>>2 基礎っての数学でないの？

基礎数学←数学ではないの？
数学←数学
メタ数学←これとか

もし基礎数学がメタの反対なら
メタ←エタ→タヌキ
エミュレート(再現)とかエティック(倫理)(現実の実情の再現性な問題点)
普通数学がエタなら

基礎数学をタヌキでいいのか
タヌキ数学ってのはメタ数学みたいな説明したらどんな数学に？

でも
メタ数学も数学で
タヌキ数学も数学でしょ
しかも
基礎数学がエタ数学の可能性ってないの？
基礎数学は確かに数学とは違うかもだからエタとかな分け方でないかもでそれ次第となるし

メタ…形而上
エタ…形而
タヌキ…形而下

よくわからないし

なんで基礎数学って(基礎数学自体浅くしか知るわけでないけど)流行らないの？

自分🌀🧠🎊👐👾🚑ぱぁ

そのメタ、エタ、タヌキ数学とはなんぞや
数学基礎論（数理論理学）は形式化した数学を分析するから僕たちが普段使ってる数学を
メタ数学と呼ぶのは分からなくはないけど

メタ数学ってあれじゃん
つい最近知ったのは
Π01言明とか、矛盾と無矛盾の証明性、(Π01言明自体は自己言及含んでるから上手く行かなかった)
証明性みたいな、普通数学の台詞よりさらに地の文がメタ数学

だと
基礎数学がタヌキ数学か自体からわからないけど
メタ地の文←→エタ台詞
エタ地の文←→タヌキ台詞
基礎数学がより普通数学より台詞的ならということもしタヌキ数学でいいのなら

形而上学…文系でも理系でも地の文
形而学
形而下学…文系でも理系でも台詞

地の文…バックグラウンド

台詞…フォアグラウンド

そも
基礎数学って
タヌキ数学なのか
不明

Π01言明か、初めて知ったな。まあいうて最近基礎論勉強し始めたし俺もよく分からねえ。
個人的には面白いと思ってるからする人多くてもいいと思うんだけど。

そもそも数学基礎論という名前が良くない。
確かに歴史的に見たら数学を基礎づけるのが動機で始まったけど、今はそうじゃないから数理論理学と呼んだ方がいい

数学論理学で調べた
メタ数学だったまじか
タヌキ数学でなくメタ数学なのか

メタ数学…人気ないのか。人気あると思ってたけど、まさか人気ないなんて

タヌキ数学…こちらはどんな数学だろう？人気は？

現実の数学をうまい具合に形式化したものを調べるから、まあメタなんじゃないか？
そもそもエタとかタヌキとか始めて聞いたけど

新しい可能性考えた

拡張(応用)(直接相関)空間並列側と
原理(基礎)(直接因果)時間直列側と

拡張側の証明やらなんやらの方が人気ある？
原理側の証明やらなんやらの方が人気ない？

よく分からんが物理とかになるんじゃないか、タヌキ数学とやらは

>>23 エタはあったはずだけど
メタ、エタ、は古代ギリシャ語からとか

タヌキは無いからタヌキにした

原理って言ってしまえば地味だからな、よほど金にも利益にもすぐにはならないから
興味ある人しかしない＝人が少ないのも分かる

>>25 そうなるのか？物理になるのか？

そも

形而上学
形而学
形而下学

と

原理時間直列因果

拡張空間並列相関

を結びつけていいのかすら
不明

>>26 調べても文字しか出てこないんだが

基礎論なんて言ってもぜんぜん基礎じゃねーし
logicひっくるめて言えば他分野と同程度には流行ってるんじゃねえの？
ICM講演数は数学全体の4%くらい
そんなもんでしょ

>>30 自分も昔調べたとき意味書いてあったか忘れた。意味が未来まで伝わってきてなかったのか

>>31 自分もメタ数学って字面だけで人口多いと予想してた

>>31 それでも少なくないか？日本に限るけど基礎論を専門にしてる先生も勉強できる大学も数少ないし

Π01言明(証明不能)とかニューカム問題(証明不能)とか
あまり手を付けられてないのか

慶応経済や文が応用数学コツコツつづけてるから。

基礎のほうが難しいが応用は国家経済社会体制算段してる。

公務員経済とか。コレでも経済の要職だ。

マクロとミクロ経済学だよ。

計算量は相当なもん。理論はノーミス、計算は論争中。

義経、お経、神経。

為替や円相場株式も一手に担当。

本来なら純粋な数学も実学。

暗唱と詩的になってる。

災害原爆復興も担当だ。

それには社会学的な医学の管理が重要と思う。

現実的な要請からでは?
流行れば流行るとはおもうが流行る手がかりはないかと
評価されずらく評価に値するものを出すのも出しづらいかと

現実問題もあるんか(「そこに愛は〜」アイフル)

ゴマダレポン酢問題、牛乳チョコ問題。数式にはできないこれ。数式ではないから数式にできないんだろう
https://rio2016.5ch.net/test/read.cgi/math/1744097293/22-27/

メタ

数理論理学のほうが、はるかに人気があるね（笑）

>>1
そこで話が終わってるから

>>50
GPT

ヒルベルトの　平面幾何の基礎、
からの発展だったのだろうか？

ひとけが無いから。

数理論理学からすれば、普通の数学は
みな不純な応用に過ぎない。

幾何学的群論や実代数幾何学をやってる人が数理論理学のジャーナルに論文を載せてたりする
記述集合論の深い定理を使うとエルゴート定理が簡単に示されることがわかった

>>57
ボルツマン脳を否定する根拠に使われそう。

ええっ、古典統計物理学の基礎の仮定を
為していたエルゴード仮説は証明されて
しまったの？

数学基礎論って数学の基礎を作ったら終わりじゃないの

想像しよう、もしも記号の列を書くための
媒体である用紙や筆記用具が無かったら、
数学も存在しないか、その存在を示すこと
ができないのではないかと。媒体があっても
それに書かれた記号列を解釈して操作を加え
るなんらかの存在がなければ、死文に過ぎない
のだと。つまり記録媒体とそれに付随する
操作系がなければ、情報は空論になり、
数学もまた記述されたり機能することは無い。
宇宙に真の真空だけがあったのなら、数学も
存在しないのだ。

糞論

語れ

基礎論は数学の基礎であると偉そうにしてるから、そのくせ普通の数学を勉強していない

つまらないから

人気ないのか？ほんとに　数学基礎論じゃなくて数理論理学だぞ

お前みたいのがいるから

基礎論やってる奴は数学の素人であることが証明されました