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