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