復刊投票コメント一覧

「公理的集合論」はゲーデルのLと強制法がコンパクトに纏まっていた記憶があり、集合論の勉強の為また読んで見たいと思いました。また「帰納的関数と述語」は帰納的関数について細かく記載されていて学生時代利用していてまた読んで見たいと思いました。どちらも中古では手がだせないような高値となっています。
どうか復刊お願いします。

『モデルの理論』はモデル理論の深い内容を扱った唯一の和書。『帰納的関数と述語』はヒルベルトの第10問題、ブラムの抽象計算量、チューリング次数の一階理論の非実効性など、他の計算論のテキストには見られない興味深いトピックが扱われている。経路積分はその測度論的な基礎付けが完全には為されていない（さらに、ある条件のもとでは、測度論的基礎付けが不可能である）ことで有名だが、『超準解析とファインマン経路積分』はこの問題に超準解析を用いてアプローチする。

追記：スティルウェル『逆数学』（田中一之監訳・河辺治之訳）の監訳者解説によると、『逆数学と2階算術』及び『数の体系と超準モデル』の内容を合わせたようなテキストが裳華房から出版予定とのこと。

追記：田中一之『数学基礎論序説』（裳華房）が出版された。内容は数理論理学の基本事項に加えて『逆数学と二階算術』と『数の体系と超準モデル』をより詳細に述べたものになっている。（したがってこの本で完全に代替できる。）著者のまえがきによれば、この本は前二冊を復刊する代わりに執筆・出版されたものであるので、前二冊が復刊される予定はおそらくないものと思われる。

リクエストの有効期限は１年なのでみなさん更新しましょう！！！ ▷更新の手順◁ 1. 復刊コムにログイン 2. マイページを開く 3. 『リクエスト投票一覧』をクリック 4.『有効期限を延長する』をクリックで更新完了です

このシリーズは良いと聞いた。

数学基礎論へのいざない/入門数学基礎論//帰納的関数と述語
の3冊を復刊してほしい。

そのうち買おうと思っていたら絶版になっていた
基礎論関係の書物は全体的にそれほど多くはないので復刊を期待する

いかなる論理を以て数学の証明は成されるべきか。
また、そもそも数学はどのように記述されるべきか。
このような疑問から数学基礎論に興味を持ち、様々な文献にあたっていく過程で本シリーズの存在を知ったが、既に絶版のようであった。
図書館で読んだ所、類書の中では、一冊が非常に薄いにも拘わらず、その内容量は遥かに多い事に驚いた。
是非座右の書として、更なる学習に役立てたい。