スマリヤン不完全性定理 改訳版

高橋昌一郎 川辺治之 村上祐子

• 丸善出版 (2019年12月30日発売)

作品紹介・あらすじ

『ゲーデルの不完全性定理』（高橋昌一郎訳，丸善，1996年）の改訳版。読者より受けたさまざまなコメントも参照しながら、訳文に加筆修正を加えた。

感想・レビュー・書評

[鈴華書記さんの感想 · 2025年10月10日]

タルスキーの真理集合，ゲーデルによるω無矛盾性の仮定，ロッサーによる単純無矛盾性の仮定，といった不完全性定理の3つの証明方法を紹介。

[会津大学情報センター（附属図書館）さんの感想 · 2024年11月29日]

学生リクエスト図書2022

[fraserlibさんの感想 · 2020年1月24日]

請求記号　410.9/Sm 8

著者プロフィール

國學院大學教授。1959年生まれ。ミシガン大学大学院哲学研究科修了。専門は論理学、科学哲学。著書は『理性の限界』『知性の限界』『感性の限界』『フォン・ノイマンの哲学』『ゲーデルの哲学』『20世紀論争史』『自己分析論』『反オカルト論』『愛の論理学』『東大生の論理』『小林秀雄の哲学』『哲学ディベート』『ノイマン・ゲーデル・チューリング』『科学哲学のすすめ』など、多数。

「2022年 『実践・哲学ディベート』 で使われていた紹介文から引用しています。」