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