[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
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
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 105 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s