[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む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
925: 2019/09/09(月)16:14 ID:uwfnXwUu(25/60) AAS
>>921
>笑えます
虚勢は恥ずかしいですね
>「自然数論」の定義は？
数理論理学の本にありますよ
ゲンツェンがどうとかいってますけど
そこは別に変わらないですよ
>「自然数論」ではなく『数理論理学』じゃないのでしょうか
鹿島氏の「数理論理学」でも
当然自然数論について定義してますよ
読めばわかりますよ
数理論理学の中身も知らずに
見当違い言いがかりをつけるのは
恥ずかしいだけですよ
951(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:35 ID:w2gV7wtr(21/38) AAS
>>929
＞迷惑ですから
どうぞ、ご自由に
ここは、こういうスレですから
テンプレ>>1をお読みください
これ、定義ですｗｗ（＾＾
>キチガイが発狂してますね
>昔から「自然数論」という名前の講義も書籍もないですよ
古い論文にはあったよねｗ
で、それ言い出したのあなた
大学で「自然数論」を教えていると言い出した
大学で、「数理論理学」とか「数学基礎論」とか教えているのは当然ですよ（>>921）
で、その中で、わざわざ「自然数論」を取り上げて教えているかといえば
実体は、そんなこともないｗ（>>921）
なにが言いたいの？
自分が、「自然数論」という言葉を知っていると、”シッタカ”をしたかったんだね（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 2.646s*