出版社内容情報
論理パズルの著書で知られるスマリヤンの集大成となる数理論理学の入門書。パズルも交えながらやさしく解説する。全2巻。
内容説明
スマリヤン論理学の集大成・決定版。数学者レイモンド・M.スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
目次
第1部 一般的な予備知識(数理論理学の起源;無限集合;問題発生!;数学の基礎知識)
第2部 命題論理(命題論理事始め;命題論理のタブロー;公理論的命題論理)
第3部 一階述語論理(一階述語論理事始め;重要な結果)
第4部 体系の不完全性(一般的状況での不完全性;一階算術;形式体系;ペアノ算術;進んだ話題)
著者等紹介
スマリヤン,レイモンド・M.[スマリヤン,レイモンドM.] [Smullyan,Raymond M.]
1919年、ニューヨーク生まれ。1959年、プリンストン大学にてPh.D.を取得。数学者、専門は数理論理学。パズルの書籍を多数執筆。ピアニスト、奇術師としての顔も持つ。2017年、97歳で逝去
田中一之[タナカカズユキ]
1955年生まれ。カリフォルニア大学バークレー校でPh.D.を取得。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論
川辺治之[カワベハルユキ]
1985年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
-
- 和書
- カナリーズ・ソング