数学基礎論シリーズ(数学基礎論へのいざない/入門数学基礎論/公理論的集合論/モデルの理論/逆数学と2階算術/帰納的関数と述語/超準解析とファインマン経路積分)

数学基礎論シリーズ(数学基礎論へのいざない/入門数学基礎論/公理論的集合論/モデルの理論/逆数学と2階算術/帰納的関数と述語/超準解析とファインマン経路積分)

復刊活動にご賛同の方はリクエスト投票をお願いします。

得票数 5
著者 倉田 令二郎 (監修)
出版社 河合文化教育研究所
ジャンル 専門書
ISBNコード 9784879999658 9784879999665 9784879999672 9784879999689 9784879999696 9784879999702 9784879999719
登録日 2014/03/07
リクエストNo. 59651
リクエスト内容
『数学とは論理的であり、厳密である。』
この様な言葉を信じて数学を学んでいる人も多いと思う。
それでは、如何なる理由を以て、その数学の論理や厳密性が言えるのか。
この問いに端を発し、誰もが名前は聞いたことがあるであろう「ゲーデルの不完全性定理」に代表される華々しい結果を提示した数学基礎論。
その数学基礎論の初歩から先端的な話題までを、薄い中に解り易く解説した良シリーズである。
最近では不完全性定理の著名度故か、基礎論の解説書も増えたように思われる。
しかし、その中であっても、本シリーズは著述の明快さと詳しさの点で優れていると思われ、現在に於いても一読する価値は高いと考える。
復刊を強く希望する。

投票コメント (全5件)

『モデルの理論』はモデル理論の深い内容を扱った唯一の和書。『帰納的関数と述語』はヒルベルトの第10問題、ブラムの抽象計算量、チューリング次数の一階理論の非実効性など、他の計算論のテキストには見られない...

2019/01/20

いかなる論理を以て数学の証明は成されるべきか。 また、そもそも数学はどのように記述されるべきか。 このような疑問から数学基礎論に興味を持ち、様々な文献にあたっていく過程で本シリーズの存在を知ったが...

2014/03/07

「公理的集合論」はゲーデルのLと強制法がコンパクトに纏まっていた記憶があり、集合論の勉強の為また読んで見たいと思いました。また「帰納的関数と述語」は帰納的関数について細かく記載されていて学生時代利用し...

2023/08/17

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

2017/08/14

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

2014/07/03

読後レビュー

まだレビューはありません。

この本をお読みの方、ぜひレビューをお書きください。

ニュース

2014/03/07
『数学基礎論シリーズ(数学基礎論へのいざない/入門数学基礎論/公理論的集合論/モデルの理論/逆数学と2階算術/帰納的関数と述語/超準解析とファインマン経路積分)』(倉田 令二郎 (監修))の復刊リクエスト受付を開始しました。

関連キーワード

この本に関する情報を提供する

この本の情報を復刊ドットコムまでお寄せください