出版社内容情報
大学初年級の数学的思考を経験した人を対象に，現代数理論理学がどのような内容のものかを解説した入門書。『共立全書533.現代数理論理学入門』として1977年初版発行後，以来，長年にわたり多数の読者にご愛読いただいてまいりました。この度，多くの読者からの要望を受けより読みやすいＡ5版に拡大し単行本に改装し発行するものです。
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
付録 進んだ読者の手びき
訳注
訳者解説
J.N.Crossley［クロスリー ］
C.J.Ash［アッシュ］
C.J.Brickhill［ブリックヒル］
J.C.Stillwell［スティルウェル］
N.H.Williams［ウィリアムス］
田中 尚夫［タナカ ヒサオ］
目次
第１章 歴史的概観
第２章 述語論理の完全性
第３章 モデル理論
第４章 チューリング計算機と帰納的関数
第５章 ゲーデルの不完全性定理
第６章 集合論
訳者解説
著者等紹介
田中尚夫［タナカヒサオ］
１９６２年東京都立大学大学院修了。１９６４年～１９９９年法政大学工学部・大学院工学研究科勤務。現在、法政大学名誉教授・理学博士。専門は数学基礎論（記述集合論、計算量理論）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
hidehi
0
「数学基礎論―ゲーデルの不完全性定理 (放送大学教材)」を読んだひとが先に進むのによい。ほとんど同じような構成で、書き方がよりフォーマルになっている。本文と訳者解説の二段構えになっているが、解説の方にちょっと省略があってわかりにくいところがある。それを調べるのもまた勉強になるけれど。2017/06/14
