どうして数学基礎論は人気がないのか (49ﾚｽ)
上下前次1-新
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1: １３２人目の素数さん [] 2025/06/19(木) 07:05:38.66 ID:gIWr3EdX(1/9) AAS
ゲーデルの不完全性定理とかいう有名定理があるのになぜやってる人が少ないのか
2(1): １３２人目の素数さん [] 2025/06/19(木) 07:30:10.28 ID:Hohdb59X(1) AAS
数学じゃないから
3: poem [] 2025/06/19(木) 07:31:54.77 ID:5L1Jobys(1/24) AAS
これは穿ち過ぎ？
●正解のみ→バズらない
●正解不正解含む→バズる
●不正解のみ→バズらない
正規分布になる人口動態
だから基礎ってやる人少ないのかなでいいのかな？
4: poem [] 2025/06/19(木) 07:35:12.28 ID:5L1Jobys(2/24) AAS
>>2 基礎っての数学でないの？
5: poem [] 2025/06/19(木) 07:36:40.96 ID:5L1Jobys(3/24) AAS
基礎数学←数学ではないの？
数学←数学
メタ数学←これとか
6: poem [] 2025/06/19(木) 07:39:45.95 ID:5L1Jobys(4/24) AAS
もし基礎数学がメタの反対なら
メタ←エタ→タヌキ
エミュレート(再現)とかエティック(倫理)(現実の実情の再現性な問題点)
普通数学がエタなら
7: poem [] 2025/06/19(木) 07:41:00.89 ID:5L1Jobys(5/24) AAS
基礎数学をタヌキでいいのか
タヌキ数学ってのはメタ数学みたいな説明したらどんな数学に？
8: poem [] 2025/06/19(木) 07:42:48.81 ID:5L1Jobys(6/24) AAS
でも
メタ数学も数学で
タヌキ数学も数学でしょ
しかも
基礎数学がエタ数学の可能性ってないの？
基礎数学は確かに数学とは違うかもだからエタとかな分け方でないかもでそれ次第となるし
9: poem [] 2025/06/19(木) 07:44:30.37 ID:5L1Jobys(7/24) AAS
メタ…形而上
エタ…形而
タヌキ…形而下
10: poem [] 2025/06/19(木) 07:45:14.96 ID:5L1Jobys(8/24) AAS
よくわからないし
11: poem [] 2025/06/19(木) 07:47:17.37 ID:5L1Jobys(9/24) AAS
なんで基礎数学って(基礎数学自体浅くしか知るわけでないけど)流行らないの？
12: poem [] 2025/06/19(木) 07:54:03.61 ID:5L1Jobys(10/24) AAS
自分🌀🧠🎊👐👾🚑ぱぁ
13: １３２人目の素数さん [] 2025/06/19(木) 07:55:19.34 ID:gIWr3EdX(2/9) AAS
そのメタ、エタ、タヌキ数学とはなんぞや
数学基礎論（数理論理学）は形式化した数学を分析するから僕たちが普段使ってる数学を
メタ数学と呼ぶのは分からなくはないけど
14: poem [] 2025/06/19(木) 07:58:10.91 ID:5L1Jobys(11/24) AAS
メタ数学ってあれじゃん
つい最近知ったのは
Π01言明とか、矛盾と無矛盾の証明性、(Π01言明自体は自己言及含んでるから上手く行かなかった)
証明性みたいな、普通数学の台詞よりさらに地の文がメタ数学
15: poem [] 2025/06/19(木) 08:00:02.63 ID:5L1Jobys(12/24) AAS
だと
基礎数学がタヌキ数学か自体からわからないけど
メタ地の文←→エタ台詞
エタ地の文←→タヌキ台詞
基礎数学がより普通数学より台詞的ならということもしタヌキ数学でいいのなら
16: poem [] 2025/06/19(木) 08:01:35.68 ID:5L1Jobys(13/24) AAS
形而上学…文系でも理系でも地の文
形而学
形而下学…文系でも理系でも台詞
17: poem [] 2025/06/19(木) 08:03:04.85 ID:5L1Jobys(14/24) AAS
地の文…バックグラウンド
台詞…フォアグラウンド
18: poem [] 2025/06/19(木) 08:03:57.72 ID:5L1Jobys(15/24) AAS
そも
基礎数学って
タヌキ数学なのか
不明
19: １３２人目の素数さん [] 2025/06/19(木) 08:04:55.87 ID:gIWr3EdX(3/9) AAS
Π01言明か、初めて知ったな。まあいうて最近基礎論勉強し始めたし俺もよく分からねえ。
個人的には面白いと思ってるからする人多くてもいいと思うんだけど。
20: １３２人目の素数さん [] 2025/06/19(木) 08:08:45.44 ID:gIWr3EdX(4/9) AAS
そもそも数学基礎論という名前が良くない。
確かに歴史的に見たら数学を基礎づけるのが動機で始まったけど、今はそうじゃないから数理論理学と呼んだ方がいい
21: poem [] 2025/06/19(木) 08:10:18.39 ID:5L1Jobys(16/24) AAS
数学論理学で調べた
メタ数学だったまじか
タヌキ数学でなくメタ数学なのか
22: poem [] 2025/06/19(木) 08:11:56.56 ID:5L1Jobys(17/24) AAS
メタ数学…人気ないのか。人気あると思ってたけど、まさか人気ないなんて
タヌキ数学…こちらはどんな数学だろう？人気は？
23(1): １３２人目の素数さん [] 2025/06/19(木) 08:14:12.30 ID:gIWr3EdX(5/9) AAS
現実の数学をうまい具合に形式化したものを調べるから、まあメタなんじゃないか？
そもそもエタとかタヌキとか始めて聞いたけど
24: poem [] 2025/06/19(木) 08:14:59.94 ID:5L1Jobys(18/24) AAS
新しい可能性考えた
拡張(応用)(直接相関)空間並列側と
原理(基礎)(直接因果)時間直列側と
拡張側の証明やらなんやらの方が人気ある？
原理側の証明やらなんやらの方が人気ない？
25(1): １３２人目の素数さん [] 2025/06/19(木) 08:15:34.55 ID:gIWr3EdX(6/9) AAS
よく分からんが物理とかになるんじゃないか、タヌキ数学とやらは
26(1): poem [] 2025/06/19(木) 08:16:27.72 ID:5L1Jobys(19/24) AAS
>>23 エタはあったはずだけど
メタ、エタ、は古代ギリシャ語からとか
タヌキは無いからタヌキにした
27: １３２人目の素数さん [] 2025/06/19(木) 08:17:52.55 ID:gIWr3EdX(7/9) AAS
原理って言ってしまえば地味だからな、よほど金にも利益にもすぐにはならないから
興味ある人しかしない＝人が少ないのも分かる
28: poem [] 2025/06/19(木) 08:17:52.71 ID:5L1Jobys(20/24) AAS
>>25 そうなるのか？物理になるのか？
29: poem [] 2025/06/19(木) 08:19:43.46 ID:5L1Jobys(21/24) AAS
そも
形而上学
形而学
形而下学
と
原理時間直列因果
拡張空間並列相関
を結びつけていいのかすら
不明
30(1): １３２人目の素数さん [] 2025/06/19(木) 08:19:44.67 ID:gIWr3EdX(8/9) AAS
>>26 調べても文字しか出てこないんだが
31(2): １３２人目の素数さん [] 2025/06/19(木) 08:19:59.34 ID:I2DmpjWk(1) AAS
基礎論なんて言ってもぜんぜん基礎じゃねーし
logicひっくるめて言えば他分野と同程度には流行ってるんじゃねえの？
ICM講演数は数学全体の4%くらい
そんなもんでしょ
32: poem [] 2025/06/19(木) 08:21:31.32 ID:5L1Jobys(22/24) AAS
>>30 自分も昔調べたとき意味書いてあったか忘れた。意味が未来まで伝わってきてなかったのか
33: poem [] 2025/06/19(木) 08:22:35.34 ID:5L1Jobys(23/24) AAS
>>31 自分もメタ数学って字面だけで人口多いと予想してた
34: １３２人目の素数さん [] 2025/06/19(木) 08:24:57.86 ID:gIWr3EdX(9/9) AAS
>>31 それでも少なくないか？日本に限るけど基礎論を専門にしてる先生も勉強できる大学も数少ないし
35: poem [] 2025/06/19(木) 08:27:50.94 ID:5L1Jobys(24/24) AAS
Π01言明(証明不能)とかニューカム問題(証明不能)とか
あまり手を付けられてないのか
36: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:32:02.23 ID:s0IHHryz(1/11) AAS
慶応経済や文が応用数学コツコツつづけてるから。
37: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:33:47.22 ID:s0IHHryz(2/11) AAS
基礎のほうが難しいが応用は国家経済社会体制算段してる。
38: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:34:56.60 ID:s0IHHryz(3/11) AAS
公務員経済とか。コレでも経済の要職だ。
39: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:35:43.46 ID:s0IHHryz(4/11) AAS
マクロとミクロ経済学だよ。
40: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:37:14.19 ID:s0IHHryz(5/11) AAS
計算量は相当なもん。理論はノーミス、計算は論争中。
41: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:38:00.60 ID:s0IHHryz(6/11) AAS
義経、お経、神経。
42: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:39:12.76 ID:s0IHHryz(7/11) AAS
為替や円相場株式も一手に担当。
43: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:40:11.27 ID:s0IHHryz(8/11) AAS
本来なら純粋な数学も実学。
44: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:41:10.22 ID:s0IHHryz(9/11) AAS
暗唱と詩的になってる。
45: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:41:56.18 ID:s0IHHryz(10/11) AAS
災害原爆復興も担当だ。
46: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/06/19(木) 15:43:03.08 ID:s0IHHryz(11/11) AAS
それには社会学的な医学の管理が重要と思う。
47: １３２人目の素数さん [] 2025/06/19(木) 19:03:23.27 ID:Zrfm5GzE(1) AAS
現実的な要請からでは?
流行れば流行るとはおもうが流行る手がかりはないかと
評価されずらく評価に値するものを出すのも出しづらいかと
48: poem [] 2025/06/25(水) 17:54:26.60 ID:qmkTuKxj(1) AAS
現実問題もあるんか(「そこに愛は〜」アイフル)
49: poem [] 2025/06/26(木) 13:03:42.67 ID:uEAL5o4T(1) AAS
ゴマダレポン酢問題、牛乳チョコ問題。数式にはできないこれ。数式ではないから数式にできないんだろう
2chｽﾚ:math
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s