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

どうして数学基礎論は人気がないのか (49ﾚｽ)
上下前次 1-新

1: 06/19(木)07:05 ID:gIWr3EdX(1/9) AAS
ゲーデルの不完全性定理とかいう有名定理があるのになぜやってる人が少ないのか

2(1): 06/19(木)07:30 ID:Hohdb59X(1) AAS
数学じゃないから

3: poem 06/19(木)07:31 ID:5L1Jobys(1/24) AAS
これは穿ち過ぎ？
●正解のみ→バズらない
●正解不正解含む→バズる
●不正解のみ→バズらない
正規分布になる人口動態
だから基礎ってやる人少ないのかなでいいのかな？

4: poem 06/19(木)07:35 ID:5L1Jobys(2/24) AAS
>>2 基礎っての数学でないの？

5: poem 06/19(木)07:36 ID:5L1Jobys(3/24) AAS
基礎数学←数学ではないの？
数学←数学
メタ数学←これとか

6: poem 06/19(木)07:39 ID:5L1Jobys(4/24) AAS
もし基礎数学がメタの反対なら
メタ←エタ→タヌキ
エミュレート(再現)とかエティック(倫理)(現実の実情の再現性な問題点)
普通数学がエタなら

7: poem 06/19(木)07:41 ID:5L1Jobys(5/24) AAS
基礎数学をタヌキでいいのか
タヌキ数学ってのはメタ数学みたいな説明したらどんな数学に？

8: poem 06/19(木)07:42 ID:5L1Jobys(6/24) AAS
でも
メタ数学も数学で
タヌキ数学も数学でしょ
しかも
基礎数学がエタ数学の可能性ってないの？
基礎数学は確かに数学とは違うかもだからエタとかな分け方でないかもでそれ次第となるし

9: poem 06/19(木)07:44 ID:5L1Jobys(7/24) AAS
メタ…形而上
エタ…形而
タヌキ…形而下

10: poem 06/19(木)07:45 ID:5L1Jobys(8/24) AAS
よくわからないし

11: poem 06/19(木)07:47 ID:5L1Jobys(9/24) AAS
なんで基礎数学って(基礎数学自体浅くしか知るわけでないけど)流行らないの？

12: poem 06/19(木)07:54 ID:5L1Jobys(10/24) AAS
自分🌀🧠🎊👐👾🚑ぱぁ

13: 06/19(木)07:55 ID:gIWr3EdX(2/9) AAS
そのメタ、エタ、タヌキ数学とはなんぞや
数学基礎論（数理論理学）は形式化した数学を分析するから僕たちが普段使ってる数学を
メタ数学と呼ぶのは分からなくはないけど

14: poem 06/19(木)07:58 ID:5L1Jobys(11/24) AAS
メタ数学ってあれじゃん
つい最近知ったのは
Π01言明とか、矛盾と無矛盾の証明性、(Π01言明自体は自己言及含んでるから上手く行かなかった)
証明性みたいな、普通数学の台詞よりさらに地の文がメタ数学

15: poem 06/19(木)08:00 ID:5L1Jobys(12/24) AAS
だと
基礎数学がタヌキ数学か自体からわからないけど
メタ地の文←→エタ台詞
エタ地の文←→タヌキ台詞
基礎数学がより普通数学より台詞的ならということもしタヌキ数学でいいのなら

16: poem 06/19(木)08:01 ID:5L1Jobys(13/24) AAS
形而上学…文系でも理系でも地の文
形而学
形而下学…文系でも理系でも台詞

17: poem 06/19(木)08:03 ID:5L1Jobys(14/24) AAS
地の文…バックグラウンド

台詞…フォアグラウンド

18: poem 06/19(木)08:03 ID:5L1Jobys(15/24) AAS
そも
基礎数学って
タヌキ数学なのか
不明

19: 06/19(木)08:04 ID:gIWr3EdX(3/9) AAS
Π01言明か、初めて知ったな。まあいうて最近基礎論勉強し始めたし俺もよく分からねえ。
個人的には面白いと思ってるからする人多くてもいいと思うんだけど。

20: 06/19(木)08:08 ID:gIWr3EdX(4/9) AAS
そもそも数学基礎論という名前が良くない。
確かに歴史的に見たら数学を基礎づけるのが動機で始まったけど、今はそうじゃないから数理論理学と呼んだ方がいい

21: poem 06/19(木)08:10 ID:5L1Jobys(16/24) AAS
数学論理学で調べた
メタ数学だったまじか
タヌキ数学でなくメタ数学なのか

22: poem 06/19(木)08:11 ID:5L1Jobys(17/24) AAS
メタ数学…人気ないのか。人気あると思ってたけど、まさか人気ないなんて

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

23(1): 06/19(木)08:14 ID:gIWr3EdX(5/9) AAS
現実の数学をうまい具合に形式化したものを調べるから、まあメタなんじゃないか？
そもそもエタとかタヌキとか始めて聞いたけど

24: poem 06/19(木)08:14 ID:5L1Jobys(18/24) AAS
新しい可能性考えた

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

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

25(1): 06/19(木)08:15 ID:gIWr3EdX(6/9) AAS
よく分からんが物理とかになるんじゃないか、タヌキ数学とやらは

26(1): poem 06/19(木)08:16 ID:5L1Jobys(19/24) AAS
>>23 エタはあったはずだけど
メタ、エタ、は古代ギリシャ語からとか

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

27: 06/19(木)08:17 ID:gIWr3EdX(7/9) AAS
原理って言ってしまえば地味だからな、よほど金にも利益にもすぐにはならないから
興味ある人しかしない＝人が少ないのも分かる

28: poem 06/19(木)08:17 ID:5L1Jobys(20/24) AAS
>>25 そうなるのか？物理になるのか？

29: poem 06/19(木)08:19 ID:5L1Jobys(21/24) AAS
そも

形而上学
形而学
形而下学

と

原理時間直列因果

拡張空間並列相関
省2

30(1): 06/19(木)08:19 ID:gIWr3EdX(8/9) AAS
>>26 調べても文字しか出てこないんだが