J-WAVE CD&BOOK ON LINE
数学における証明と真理 様相論理と数学基礎論
菊池誠/編 佐野勝彦/著 倉橋太志/著 薄葉季路/著 黒川英徳/著 菊池誠/著

商品説明
正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説した。
出荷: メーカー在庫あり:1-3日


詳細ページ
著者・出版社
ジャケット画像
目次

商品検索
ヘルプ

TOP

J-WAVE CD&BOOK ONLINE
powerd by Neowing