ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

現代数学の系譜 工学物理雑談 古典ガロア理論も読む76

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>921 > >>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
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.016s