[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
893: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 09:36:51.00 ID:w2gV7wtr >>887 >そんなものは、いまの大学数学科の教程にない >ウソはいけませんね >ありますよ あなたが知らないだけです はい 2019年あるいは、近年でも良いです 例示願います >>オワコンでしょう? 違いますか? >違いますね 現役ですから 多くの大学数学科の教程で、「自然数論」はやらないでしょう?w 新井 敏康先生の2019年の主要な研究テーマが、「自然数論」なのですか? それって、証明ある?w(^^; http://rio2016.5ch.net/test/read.cgi/math/1566715025/893
897: 132人目の素数さん [] 2019/09/09(月) 10:16:50.49 ID:uwfnXwUu >>893 >多くの大学数学科の教程で、「自然数論」はやらないでしょう? やりますよ http://www.ocw.titech.ac.jp/index.php?module=General&action=T0300&JWC=201602397 上記は東工大の「数理論理学」ですが ・第10回 不完全性定理(1)。算術,ゲーデル数,表現可能性。 ・第11回 不完全性定理(2):第1不完全性定理,算術や論理の決定不可能性など。 とあります。 上記の第10回にある「算術」が自然数論のことです。 不完全性定理は、自然数論の定理ですから、 当然自然数論についてその公理系を示します こんなことは数理論理学を学んだ人なら常識です http://rio2016.5ch.net/test/read.cgi/math/1566715025/897
898: 132人目の素数さん [] 2019/09/09(月) 10:20:10.66 ID:uwfnXwUu >>893 >新井 敏康先生の主要な研究テーマが、「自然数論」なのですか? あなたはなぜ検索しないのですか? 新井氏の研究は、証明論における順序数解析です https://www.ms.u-tokyo.ac.jp/teacher/tarai.html 証明論で扱う体系の中に当然自然数論も含まれます 論理学者で、自然数論について知らない人はいませんよ 論理学における一般常識ですから http://rio2016.5ch.net/test/read.cgi/math/1566715025/898
957: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 18:24:23.71 ID:w2gV7wtr >>956 補足 1)経緯は下記です(^^ 2)であなたのいう「自然数論」は、 2019年の現在では 数理論理学あるいは数学基礎論になっているってことですよ (経緯引用) >>880 集合を外れた「自然数論」に深入りするつもりはないわけよw(^^ そんなものは、いまの大学数学科の教程にないし オワコンでしょう? 違いますか?(^^; でも、数学史として、こういう議論もあったということは 知っておいても良いとは思いますよ >>887 >そんなものは、いまの大学数学科の教程にない ウソはいけませんね ありますよ あなたが知らないだけです >オワコンでしょう? 違いますか? 違いますね 現役ですから >>893 >そんなものは、いまの大学数学科の教程にない >ウソはいけませんね >ありますよ あなたが知らないだけです はい 2019年あるいは、近年でも良いです 例示願います >>オワコンでしょう? 違いますか? >違いますね 現役ですから 多くの大学数学科の教程で、「自然数論」はやらないでしょう?w 新井 敏康先生の2019年の主要な研究テーマが、「自然数論」なのですか? それって、証明ある?w(^^; (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1566715025/957
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s