21/07/26 01:14:08.58 XTJ0aNsT.net
世の中にはハイゼンベルグの不確定性原理と不完全性定理を混同するという、もう一回科学史年表を書いて整理してみろと言いたくなるような人が実在するんだぜ。
全く動機が異なる、もっと言えばそもそも分野が違う。
ツイッターや5chでドヤ顔演じている前にそういう基本的な事をだななぞなぞするしかない
610:１３２人目の素数さん
21/07/26 01:28:00.76 JnL+zc4n.net
>>583
な？低次元な粗探ししか出来ないからお前は頭悪いんだよ
実際>>584に答えることすらできないのがお前の頭のだろ
くっそアホやわお前
低次元な粗探ししか出来ないくせに、ちょっと聞かれたらなぁ～んも答えられない
これを世間一般的にアホという
611:１３２人目の素数さん
21/07/26 01:35:34.79 XTJ0aNsT.net
だったら、いちいち含みのある話を要所要所に突っ込んでくんなよ！
何も知らんいたいけな素人相手に唐突にSNS上でこんなところあるよ？どう？とかやって落ちたらそら気になるわ！
612:１３２人目の素数さん
21/07/26 01:52:14.07 XTJ0aNsT.net
あれは要するにやんわりとＴ芝に考え直させたかったんだろ。
そんなもん本気じゃないよって。わかるかよそんなもん
613:１３２人目の素数さん
21/07/26 08:13:13.19 tWdrJyRm.net
なぞなぞは続ける。文句行っても仕方なかった。スマヌ。
614:１３２人目の素数さん
21/07/26 10:17:45.84 +i1tNIIC.net
>>558
意味論的に一階述語論理は完全で
二階以上の高階述語論理は不完全で、
その理由は二階論理では単体でペアノ算術が
解釈できる事なので、一応内容的には正しい。
その旨の言及もあるので解答者がちゃんと理解している
可能性も結構ある。
ただこれ読んだ初学者は結構な確率で誤解しそうなので
その辺はアレではある。
615:１３２人目の素数さん
21/07/26 15:05:20.25 Bq8hSf20.net
>>591
551は数学的内容ではなくて
控えめにとかその辺のことを言ってるんだと思った
616:１３２人目の素数さん
21/07/26 18:43:17.34 +i1tNIIC.net
ああ、成る程。それは確かに。
真面目に読むとちょこちょこおかしいな。
まあ、物理の人っぽいから仕方ないけど。
ヒルベルトの時代には述語論理が
一階と高階に分かれていたとか（今は違うんかい）
ヒルベルトの計画は述語論理は無矛盾であれば
完全である事を示す事だとか
（ヒルベルト・プログラムは、信頼のおける
実在的な数学（≒算術）のみを用いて、
より広い概念的な数学の信頼性を確立する計画）、
n階述語論理の完全性
617:をnに関する帰納法で 示そうとした、とかはこの人が捏ねたストーリーだね。 ヒルベルトに気を使って、は、 当時ゲーデルが無名の若手で ヒルベルトは数学界の最高の権威で、 自分と異なる主義の学者を 政治的に排除とかもしてたから、 まあ常識的に考えてそれなりに配慮はするんじゃ ないかなとは思う。
618:１３２人目の素数さん
21/07/26 19:37:37.60 Wo6j3jc1.net
ヒルベルトが果たして本当に大御所だったかなんてわかんなくない？
俺が思うにどうもヒルベルトは当時の時流からワンテンポ遅い。
大御所は大御所だろうけどすごい政治力があったかと言われるとそうは言えないんじゃないかと。
ブラウワーを排除したとも言われるけどあれもブラウワーと示し合わせただけで、黒幕は別にいるだろ。
ホワイトヘッドとか。
今もその系譜が一番政治力があるんだと思うんだが
619:１３２人目の素数さん
21/07/26 21:39:38.76 ZY+g7c/X.net
>>594
ヒルベルトは1961年生まれ
ゲーデルの不完全性定理発表が1931年でヒルベルトが70歳のとき
620:１３２人目の素数さん
21/07/26 22:38:45.80 XTJ0aNsT.net
ヒルベルト計画ってPM引きずってるよね。
不完全性定理の体系もPMの建て増しだし。
計画の基本コンセプトは広義の述語論理の完全性証明じゃない？
それが無理そうだっただからアッカーマンのイプシロン公理を突っ込んで、
広義の述語論理を狭い意味で完全性証明しようとしたってことじゃない？
ゲーデルはイプシロン関数を入れ子にしたらどうなるだろうって考えて不完全性定理に到達したと思う。
621:１３２人目の素数さん
21/07/27 00:11:51.14 urOCv5O3.net
日本の大学で数学基礎論や数理論理学か盛んなところってありますか？
622:１３２人目の素数さん
21/07/27 02:19:44.61 Vuzbeo0/.net
東北、名古屋、神戸か
623:１３２人目の素数さん
21/07/27 16:17:12.34 w01S8XFD.net
何故、数理論理学や数学基礎論の研究者が所属する院は情報科学みたいな場合が多いのでしょうか？
数学科では無いのでしょうか？
624:１３２人目の素数さん
21/07/27 16:28:59.05 joo85DAH.net
ゲーデルに微積や線形代数の授業をさせられる？
625:１３２人目の素数さん
21/07/27 17:20:42.81 w01S8XFD.net
>>600
そういう意味もあるんですね
626:１３２人目の素数さん
21/07/27 17:23:31.36 w01S8XFD.net
逆に数学科（学部）で数理論理学や数学基礎論の授業は無いのでしょうか？
627:１３２人目の素数さん
21/07/27 17:30:34.01 jIwcvUii.net
せいぜい集合と位相ぐらいが
628:１３２人目の素数さん
21/07/27 17:48:57.39 joo85DAH.net
順序数は数学科では教えない
629:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています