[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
921(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)15:48 ID:w2gV7wtr(10/38) AAS
>>897
(引用開始)
＞多くの大学数学科の教程で、「自然数論」はやらないでしょう？
やりますよ
外部ﾘﾝｸ[php]:www.ocw.titech.ac.jp
上記は東工大の「数理論理学」ですが
・第10回 不完全性定理（１）。算術，ゲーデル数，表現可能性。
とあります。
上記の第10回にある「算術」が自然数論のことです。
(引用終り)
笑えますｗ（＾＾
「自然数論」の定義は？ｗ（＾＾
（>>910より）前原氏は、狭く、ゲンツェンの1936年の意味で使っていますよｗ
”ゲーデル数，表現可能性”は、ゲンツェン 1936には無いでしょ、多分（読んでないけど年代的にね）
”ゲーデル数，表現可能性”は、ゲンツェン 1936より後でしょう？（＾＾
そして、URLを開くと
”教科書 鹿島亮 『数理論理学』 朝倉書店 (ISBN: 978-4-254-11765-3) ”となっていますよ
その講義は、「自然数論」ではなく、
『数理論理学』じゃないのでしょうかｗ（＾＾
『数学基礎論』とも、表現すると思いますけどね
（参考）
外部ﾘﾝｸ[html]:www.nippyo.co.jp
キューネン数学基礎論講義 ケネス・キューネン 著 藤田 博司 訳 日本評論社 2016
上下前次1-新書関写板覧索設栞歴
あと 81 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s