数学における証明と真理 様相論理と数学基礎論
菊池誠／編 佐野勝彦／著 倉橋太志／著 薄葉季路／著 黒川英徳／著 菊池誠／著
発売日：2016年3月
- ISBN
- 978-4-320-11148-6
- 著者情報
- 佐野 勝彦（サノ カツヒコ）
京都大学文学部人文学科卒業（２０００年）。博士（文学）（京都大学）。現在、北陸先端科学技術大学院大学情報科学研究科助教。専門は哲学・論理学
倉橋 太志（クラハシ タイシ）
神戸大学工学部情報知能工学科卒業（２００９年）。博士（学術）（神戸大学）。現在、木更津工業高等専門学校基礎学系講師。専門は数学基礎論
薄葉 季路（ウスバ トシミチ）
東京学芸大学教育学部卒業（２００１年）。博士（情報科学）（名古屋大学）。現在、神戸大学自然科学系先端融合研究環重点研究部助教。専門は数学基礎論
黒川 英徳（クロカワ ヒデノリ）
東京大学教養学部教養学科卒業（１９９１年）。Ｐｈ．Ｄ．（ニューヨーク市立大学）。現在、日本学術振興会特別研究員（神戸大学）。専門は哲学・論理学
菊池 誠（キクチ マコト）
東京工業大学理学部数学科卒業（１９９１年）。博士（理学）（東北大学）。現在、神戸大学大学院システム情報学研究科准教授。専門は数学基礎論
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説した。
目次
第１部 様相論理入門（正規様相論理の構文論・意味論・ヒルベルト式公理系
正規様相論理の有限フレーム性・決定可能性
様相論理の発展と歴史的背景）
第２部 証明可能性論理（不完全性定理と証明可能性論理
ソロヴェイの算術的完全性定理
証明可能性論理の発展）
第３部 強制法と様相論理（公理的集合論の概要
強制法と多元宇宙論
強制様相論理）
第４部 真理と様相（真理に関するタルスキの定理と型付きの真理述語
クリプキの真理論―型をもたない真理論（１）
真理から様相へ―型をもたない真理論（２））
商品詳細
- 出版社名
- 共立出版
- 対象年齢
- 一般
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
