スマリヤンの数理論理学入門 上

スマリヤン論理学の集大成・決定版。数学者レイモンド・Ｍ．スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。

目次 : 第１部　一般的な予備知識（数理論理学の起源/ 無限集合/ 問題発生！/ 数学の基礎知識）/ 第２部　命題論理（命題論理事始め/ 命題論理のタブロー/ 公理論的命題論理）/ 第３部　一階述語論理（一階述語論理事始め/ 重要な結果）/ 第４部　体系の不完全性（一般的状況での不完全性/ 一階算術/ 形式体系/ ペアノ算術/ 進んだ話題）

【著者紹介】
レイモンド・Ｍ・スマリヤン : １９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学。パズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。２０１７年、９７歳で逝去

田中一之 : １９５５年生まれ。カリフォルニア大学バークレー校でＰｈ．Ｄ．を取得。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論

川辺治之 : １９８５年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員（本データはこの書籍が刊行された当時に掲載されていたものです）