資料詳細

  • 1 件中、 1 件目

数学における証明と真理   貸出可

菊池誠／編 -- 共立出版 -- ２０１６．３ -- 410

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫４門 /410/Ｋｉ２４/ 0010016312716 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 数学における証明と真理 
副タイトル１ 様相論理と数学基礎論
著者１ 菊池誠 ／編, 佐野勝彦 ／著, 倉橋太志 ／著, 薄葉季路 ／著, 黒川英徳 ／著, 菊池誠 ／著  
出版年 ２０１６．３
出版者 共立出版
一般件名 証明（数学） , 様相（論理学）
ページ数 １０，２８８ｐ
大きさ ２２ｃｍ
ISBN 4-320-11148-6
NDC分類(10版) 410
内容紹介 数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説する。

ページの先頭へ

著者紹介

著者紹介１－１ 東京工業大学理学部数学科卒業。神戸大学大学院システム情報学研究科准教授。専門は数学基礎論。著書に「不完全性定理」など。