5 票
数学基礎論シリーズ(数学基礎論へのいざない/入門数学基礎論/公理論的集合論/モデルの理論/逆数学と2階算術/帰納的関数と述語/超準解析とファインマン経路積分)
著者 | 倉田 令二郎 (監修) |
---|---|
出版社 | 河合文化教育研究所 |
ジャンル | 専門書 |
ISBNコード | 9784879999658 9784879999665 9784879999672 9784879999689 9784879999696 9784879999702 9784879999719 |
登録日 | 2014/03/07 |
リクエストNo. | 59651 |
リクエスト内容
『数学とは論理的であり、厳密である。』
この様な言葉を信じて数学を学んでいる人も多いと思う。
それでは、如何なる理由を以て、その数学の論理や厳密性が言えるのか。
この問いに端を発し、誰もが名前は聞いたことがあるであろう「ゲーデルの不完全性定理」に代表される華々しい結果を提示した数学基礎論。
その数学基礎論の初歩から先端的な話題までを、薄い中に解り易く解説した良シリーズである。
最近では不完全性定理の著名度故か、基礎論の解説書も増えたように思われる。
しかし、その中であっても、本シリーズは著述の明快さと詳しさの点で優れていると思われ、現在に於いても一読する価値は高いと考える。
復刊を強く希望する。
投票コメント
全5件
-
『モデルの理論』はモデル理論の深い内容を扱った唯一の和書。『帰納的関数と述語』はヒルベルトの第10問題、ブラムの抽象計算量、チューリング次数の一階理論の非実効性など、他の計算論のテキストには見られない興味深いトピックが扱われている。経路積分はその測度論的な基礎付けが完全には為されていない(さらに、ある条件のもとでは、測度論的基礎付けが不可能である)ことで有名だが、『超準解析とファインマン経路積分』はこの問題に超準解析を用いてアプローチする。GOOD!2
追記:スティルウェル『逆数学』(田中一之監訳・河辺治之訳)の監訳者解説によると、『逆数学と2階算術』及び『数の体系と超準モデル』の内容を合わせたようなテキストが裳華房から出版予定とのこと。
追記:田中一之『数学基礎論序説』(裳華房)が出版された。内容は数理論理学の基本事項に加えて『逆数学と二階算術』と『数の体系と超準モデル』をより詳細に述べたものになっている。(したがってこの本で完全に代替できる。)著者のまえがきによれば、この本は前二冊を復刊する代わりに執筆・出版されたものであるので、前二冊が復刊される予定はおそらくないものと思われる。 (2019/01/20) -
いかなる論理を以て数学の証明は成されるべきか。GOOD!2
また、そもそも数学はどのように記述されるべきか。
このような疑問から数学基礎論に興味を持ち、様々な文献にあたっていく過程で本シリーズの存在を知ったが、既に絶版のようであった。
図書館で読んだ所、類書の中では、一冊が非常に薄いにも拘わらず、その内容量は遥かに多い事に驚いた。
是非座右の書として、更なる学習に役立てたい。 (2014/03/07) -
「公理的集合論」はゲーデルのLと強制法がコンパクトに纏まっていた記憶があり、集合論の勉強の為また読んで見たいと思いました。また「帰納的関数と述語」は帰納的関数について細かく記載されていて学生時代利用していてまた読んで見たいと思いました。どちらも中古では手がだせないような高値となっています。GOOD!1
どうか復刊お願いします。 (2023/08/17) -
リクエストの有効期限は1年なのでみなさん更新しましょう!!! ▷更新の手順◁ 1. 復刊コムにログイン 2. マイページを開く 3. 『リクエスト投票一覧』をクリック 4.『有効期限を延長する』をクリックで更新完了ですGOOD!1
このシリーズは良いと聞いた。
数学基礎論へのいざない/入門数学基礎論//帰納的関数と述語
の3冊を復刊してほしい。 (2017/08/14) -
そのうち買おうと思っていたら絶版になっていたGOOD!1
基礎論関係の書物は全体的にそれほど多くはないので復刊を期待する (2014/07/03)
読後レビュー
NEWS
-
2014/03/07
『数学基礎論シリーズ(数学基礎論へのいざない/入門数学基礎論/公理論的集合論/モデルの理論/逆数学と2階算術/帰納的関数と述語/超準解析とファインマン経路積分)』(倉田 令二郎 (監修))の復刊リクエスト受付を開始しました。
復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう!
amn