🚀 go-pugleaf

早野です。
遅くなりましたが、若松さんフォローありがとうございます。

In article <WAKAMATU.96Mar11235335@lily.kurims.kyoto-u.ac.jp>,
wakamatu@kurims.kyoto-u.ac.jp (Wakamatsu Kazuhiro) wrote:

> 入門書かもしれませんが、ダグラス・Ｒ・ホフスタッター著
> 「ゲーデル・エッシャー・バッハ」というのはどうでしょう？

こちらはメールでreplyしてくださった方にも紹介して
いただきました。ぜひ入手して読んでみたいと思います。

> あとは、タイトルに「数学基礎論」と書いてあるものをカタッパシから
> 読んでみるといいのでは？

そうですね。数学の他分野に比べて相対的に文献が少ない(ように
思える)ので、そういう方法もとれそうですね(本当に? :-))。
でも、これぞ王道という感じの参考書もないような印象なのですけど
どうなのでしょう?
「数学基礎論」の参考書というのが漠然としているのかもしれませんが。

----

それから、他にご紹介頂いたものですが、最近刊行されているもので、
河合出版の数学基礎論シリーズを教えて頂きました。
以下に刊行予定リストを示します(現在第2巻まで刊行中)。全20巻の
シリーズだそうです。

   [数学基礎論シリーズ]河合出版
   第0巻「数学基礎論へのいざない」倉田令二朗 著
   第1巻「入門数学基礎論 」倉田令二朗 著      
   第2巻「公理論的集合論 」倉田令二朗,篠田寿一 著
   第3巻「モデルの理論」坪井明人著
   第4巻「不完全性定理と逆数学」田中一之著 
   第5巻「帰納的関数と述語」篠田寿一著
   第6巻「超準的方法によるファインマン積分の理論」中村徹著
   別巻 「入門への補遺」 倉田令二朗,篠田寿一著

さらに、ゲーデルの不完全性定理の厳密な証明を知りたい場合は以下の文献
が参考になるようです(少し古い文献だそうです)。

   「数学基礎論入門」前原昭二著, 朝倉書店 基礎数学シリーズ ２６

ご返答くださった皆様方どうもありがとうございました。
すこし自身で悩みながら(^^;)勉強して、また質問させて頂きたいと思います。
--
早野孝彦@神奈川県