ゲーデルの不完全性定理とかいう有名定理があるのになぜやってる人が少ないのか
これは穿ち過ぎ？
●正解のみ→バズらない
●正解不正解含む→バズる
●不正解のみ→バズらない
正規分布になる人口動態
だから基礎ってやる人少ないのかなでいいのかな？
基礎数学←数学ではないの？
数学←数学
メタ数学←これとか
もし基礎数学がメタの反対なら
メタ←エタ→タヌキ
エミュレート(再現)とかエティック(倫理)(現実の実情の再現性な問題点)
普通数学がエタなら
基礎数学をタヌキでいいのか
タヌキ数学ってのはメタ数学みたいな説明したらどんな数学に？
でも
メタ数学も数学で
タヌキ数学も数学でしょ
しかも
基礎数学がエタ数学の可能性ってないの？
基礎数学は確かに数学とは違うかもだからエタとかな分け方でないかもでそれ次第となるし
なんで基礎数学って(基礎数学自体浅くしか知るわけでないけど)流行らないの？
そのメタ、エタ、タヌキ数学とはなんぞや
数学基礎論（数理論理学）は形式化した数学を分析するから僕たちが普段使ってる数学を
メタ数学と呼ぶのは分からなくはないけど
メタ数学ってあれじゃん
つい最近知ったのは
Π01言明とか、矛盾と無矛盾の証明性、(Π01言明自体は自己言及含んでるから上手く行かなかった)
証明性みたいな、普通数学の台詞よりさらに地の文がメタ数学
だと
基礎数学がタヌキ数学か自体からわからないけど
メタ地の文←→エタ台詞
エタ地の文←→タヌキ台詞
基礎数学がより普通数学より台詞的ならということもしタヌキ数学でいいのなら
形而上学…文系でも理系でも地の文
形而学
形而下学…文系でも理系でも台詞
Π01言明か、初めて知ったな。まあいうて最近基礎論勉強し始めたし俺もよく分からねえ。
個人的には面白いと思ってるからする人多くてもいいと思うんだけど。
そもそも数学基礎論という名前が良くない。
確かに歴史的に見たら数学を基礎づけるのが動機で始まったけど、今はそうじゃないから数理論理学と呼んだ方がいい
数学論理学で調べた
メタ数学だったまじか
タヌキ数学でなくメタ数学なのか
メタ数学…人気ないのか。人気あると思ってたけど、まさか人気ないなんて
タヌキ数学…こちらはどんな数学だろう？人気は？
現実の数学をうまい具合に形式化したものを調べるから、まあメタなんじゃないか？
そもそもエタとかタヌキとか始めて聞いたけど
新しい可能性考えた
拡張(応用)(直接相関)空間並列側と
原理(基礎)(直接因果)時間直列側と
拡張側の証明やらなんやらの方が人気ある？
原理側の証明やらなんやらの方が人気ない？
よく分からんが物理とかになるんじゃないか、タヌキ数学とやらは
原理って言ってしまえば地味だからな、よほど金にも利益にもすぐにはならないから
興味ある人しかしない＝人が少ないのも分かる
そも
形而上学
形而学
形而下学
と
原理時間直列因果
拡張空間並列相関
を結びつけていいのかすら
不明
基礎論なんて言ってもぜんぜん基礎じゃねーし
logicひっくるめて言えば他分野と同程度には流行ってるんじゃねえの？
ICM講演数は数学全体の4%くらい
そんなもんでしょ
>>30 自分も昔調べたとき意味書いてあったか忘れた。意味が未来まで伝わってきてなかったのか
>>31 それでも少なくないか？日本に限るけど基礎論を専門にしてる先生も勉強できる大学も数少ないし
Π01言明(証明不能)とかニューカム問題(証明不能)とか
あまり手を付けられてないのか
基礎のほうが難しいが応用は国家経済社会体制算段してる。
計算量は相当なもん。理論はノーミス、計算は論争中。
現実的な要請からでは?
流行れば流行るとはおもうが流行る手がかりはないかと
評価されずらく評価に値するものを出すのも出しづらいかと
ゴマダレポン酢問題、牛乳チョコ問題。数式にはできないこれ。数式ではないから数式にできないんだろう
http://2chb.net/r/math/1744097293/22-27/ 
ブックマークへ