[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
897: １３２人目の素数さん [] 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回 不完全性定理（１）。算術，ゲーデル数，表現可能性。 ・第11回 不完全性定理（２）：第１不完全性定理，算術や論理の決定不可能性など。 とあります。 上記の第10回にある「算術」が自然数論のことです。 不完全性定理は、自然数論の定理ですから、 当然自然数論についてその公理系を示します こんなことは数理論理学を学んだ人なら常識です http://rio2016.5ch.net/test/read.cgi/math/1566715025/897
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
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s