数学における証明と真理 = Proof and Truth in Mathematics : 様相論理と数学基礎論

• 資料種別: 図書
• ISBN: 978-4-320-11148-6
• タイトル: 数学における証明と真理 : 様相論理と数学基礎論
• タイトルよみ: スウガク ニ オケル ショウメイ ト シンリ
• 著者・編者: 菊池誠 編; 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著
• 著者標目: 菊池, 誠 キクチ, マコト ( 001186514 )典拠; 佐野, 勝彦 サノ, カツヒコ ( 001161420 )典拠; 倉橋, 太志 クラハシ, タイシ ( 001232624 )典拠; 薄葉, 季路 ウスバ, トシミチ ( 001232626 )典拠
• 出版事項: 東京 : 共立出版
• 出版年月日等: 2016.3
• 出版年（W3CDTF）: 2016
• 数量: 288p
• 大きさ: 22cm
• 並列タイトル等: Proof and Truth in Mathematics ヨウソウ ロンリ ト スウガク キソロン; Proof and Truth in Mathematics
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: 証明 (数学) ショウメイ (スウガク) ( 01190375 )典拠; 様相 (論理学) ヨウソウ (ロンリガク) ( 00574372 )典拠
• NDC9版: 410 : 数学
• NDLC: MA21
• 対象利用者: 一般
• 書誌注記: 索引あり
• 入手条件・定価: 4200円
• 所蔵機関: 国立国会図書館
• 請求記号: MA21-L319
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 027164189; http://id.ndl.go.jp/bib/027164189
• 全国書誌番号: 22738222
• トーハンMARC番号: 33413780
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 内容細目: 数理論理学の基礎 / 菊池誠 著様相論理入門 / 佐野勝彦 著証明可能性論理 / 倉橋太志 著...
• 要約等: 本書は数理論理学の基礎的な知識を持つ読者を対象として，様相論理の構文論と意味論，ならびに，数学基礎論の専門家以外にも名前はよく知られているゲーデルの不完全性定理，コーエンの強制法，タルスキの真理論という三つの話題について，それらの基礎から最近の発展までを紹介するものである。様相論理を紹介する第１部は...

目次

はじめに

序章　数理論理学の基礎（菊池 誠）

0.1　命題論理

0.2　述語論理と不完全性定理

0.3　証明可能性