資料詳細

  • 1 件中、 1 件目

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

菊池 誠／編 -- 共立出版 -- 2016.3 -- 410

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
閲覧室 /410/ｽ/ 117005710 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル 数学における証明と真理
タイトルカナ スウガク ニ オケル ショウメイ ト シンリ
副書名 様相論理と数学基礎論
著者 菊池 誠 ／編, 佐野 勝彦 ／著, 倉橋 太志 ／著, 薄葉 季路 ／著, 黒川 英徳 ／著, 菊池 誠 ／著  
著者カナ キクチ マコト,サノ カツヒコ,クラハシ タイシ,ウスバ トシミチ,クロカワ ヒデノリ,キクチ マコト
出版者 共立出版
出版年 2016.3
ページ数 10,288p
大きさ 22cm
一般件名 証明(数学) , 様相(論理学)
ISBN13桁 978-4-320-11148-6 国立国会図書館 カーリル GoogleBooks WebcatPlus
言語 jpn
分類記号 410
内容紹介 数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説する。
著者紹介 東京工業大学理学部数学科卒業。神戸大学大学院システム情報学研究科准教授。専門は数学基礎論。著書に「不完全性定理」など。

ページの先頭へ