数学における証明と真理: 様相論理と数学基礎論

著者 : 菊池誠 佐野勝彦 倉橋太志 薄葉季路 黒川英徳

制作 : 菊池 誠 

• 共立出版 (2016年3月24日発売)

作品紹介・あらすじ

本書は数理論理学の基礎的な知識を持つ読者を対象として，様相論理の構文論と意味論，ならびに，数学基礎論の専門家以外にも名前はよく知られているゲーデルの不完全性定理，コーエンの強制法，タルスキの真理論という三つの話題について，それらの基礎から最近の発展までを紹介するものである。様相論理を紹介する第１部は，その部分のみを取り出してコンパクトな様相論理の入門書または教科書として読むことができるように書かれている。三つの章からなる第２部から第４部では，いずれも最初の章で基礎的な話題の概要が丁寧に説明されており，これらの章のみを選んで数学基礎論の基本的な話題を紹介する入門書として読むこともできる。数学的な議論の詳細と最近の発展は各部の残りの二つの章で紹介されている。
　数学基礎論は数学や哲学に興味を持つ専門家および非専門家から強い関心を持たれている分野であり，計算機科学や哲学，言語学の基礎でもあることから入門書，教科書，啓蒙書が数多く出版されている。しかし，それらの多くは数学基礎論の古典的な結果であるゲーデルの完全性定理，不完全性定理までの解説にとどまっており，数学基礎論の最近の展開には触れていない。本書はクリプキの可能世界意味論を軸に，証明可能性論理，集合論的多元宇宙論，真理の改定理論という想像力をかきたてる名前を持ち，古典的な数学観，真理観を覆す見方を具体的に提案する最新の理論を紹介することで，これまで専門家以外にはほとんど知られていなかった数学基礎論の新しく深い魅力を伝えるものである。

感想・レビュー・書評

[城西大学水田記念図書館さんの感想 · 2016年5月25日]

2016年4月に実施した学生選書企画で学生の皆さんによって選ばれ購入した本です。
通常の配架場所: 開架図書(3階)
請求記号: 410//Sa66

【選書理由・おすすめコメント】
様々な証明などがあり面白かったから。
（数学科）

[fraserlibさんの感想 · 2016年5月20日]

請求記号　410.9/Ki 24

[東京大学医学図書館さんの感想 · 2016年4月6日]

4月新着
東京大学医学図書館の所蔵情報
https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_details.cgi?lang=0&amode=11&place=&bibid=2003312793&key=B145992786702002&start=1&srmode=0&srmode=0#

著者プロフィール

大阪大学サイバーメディセンター教授。1958年生まれ、青森県出身。東北大学大学院後期博士課程修了、理学博士。専門は物理学。ほかにSFとテルミンとプログレッシブ・ロック。著書に『信じぬ者は救われる』（かもがわ出版刊、香山リカと共著）、訳書に『ニックとグリマング』（ちくま書房刊、P.K.Dick）など。星座はレティクル座（どこにあるのか知らない）、血液型はＺ型。座右の銘は「明日できることは今日するな」。

「2009年 『おかしな科学』 で使われていた紹介文から引用しています。」