[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

921(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)15:48 ID:w2gV7wtr(10/38) AA×
>>897>>910

外部ﾘﾝｸ[php]:www.ocw.titech.ac.jp
外部ﾘﾝｸ[html]:www.nippyo.co.jp

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
921: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 15:48:58.70 ID:w2gV7wtr >>897 (引用開始) ＞多くの大学数学科の教程で、「自然数論」はやらないでしょう？ やりますよ http://www.ocw.titech.ac.jp/index.php?module=General&action=T0300&JWC=201602397 上記は東工大の「数理論理学」ですが ・第10回 不完全性定理（１）。算術，ゲーデル数，表現可能性。 とあります。 上記の第10回にある「算術」が自然数論のことです。 (引用終り) 笑えますｗ（＾＾ 「自然数論」の定義は？ｗ（＾＾ （>>910より）前原氏は、狭く、ゲンツェンの1936年の意味で使っていますよｗ ”ゲーデル数，表現可能性”は、ゲンツェン 1936には無いでしょ、多分（読んでないけど年代的にね） ”ゲーデル数，表現可能性”は、ゲンツェン 1936より後でしょう？（＾＾ そして、URLを開くと ”教科書 鹿島亮 『数理論理学』 朝倉書店 (ISBN: 978-4-254-11765-3) ”となっていますよ その講義は、「自然数論」ではなく、 『数理論理学』じゃないのでしょうかｗ（＾＾ 『数学基礎論』とも、表現すると思いますけどね （参考） https://www.nippyo.co.jp/shop/book/7176.html キューネン数学基礎論講義 ケネス・キューネン 著 藤田　博司 訳 日本評論社 2016 http://rio2016.5ch.net/test/read.cgi/math/1566715025/921
引用開始 多くの大学数学科の教程で自然数論はやらないでしょう？ やりますよ 上記は東工大の数理論理学ですが 第回 不完全性定理１算術ゲーデル数表現可能性 とあります 上記の第回にある算術が自然数論のことです 引用終り 笑えます 自然数論の定義は？ より前原氏は狭くゲンツェンの年の意味で使っていますよ ゲーデル数表現可能性はゲンツェン には無いでしょ多分読んでないけど年代的にね ゲーデル数表現可能性はゲンツェン より後でしょう？ そしてを開くと 教科書 鹿島亮 数理論理学 朝倉書店 となっていますよ その講義は自然数論ではなく 数理論理学じゃないのでしょうか 数学基礎論とも表現すると思いますけどね 参考 キューネン数学基礎論講義 ケネスキューネン 著 藤田 博司 訳 日本評論社

---

上下前次1-新書関写板覧索設栞歴

---

あと 81 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.045s