■
数学における証明と真理 様相論理と数学基礎論
■
菊池誠/編 佐野勝彦/著 倉橋太志/著 薄葉季路/著 黒川英徳/著 菊池誠/著
目次
第1部 様相論理入門(正規様相論理の構文論･意味論･ﾋﾙﾍﾞﾙﾄ式公理系
正規様相論理の有限ﾌﾚｰﾑ性･決定可能性 様相論理の発展と歴史的背景) 第2部 証明可能性論理(不完全性定理と証明可能性論理 ｿﾛｳﾞｪｲの算術的完全性定理 証明可能性論理の発展) 第3部 強制法と様相論理(公理的集合論の概要 強制法と多元宇宙論 強制様相論理) 第4部 真理と様相(真理に関するﾀﾙｽｷの定理と型付きの真理述語 ｸﾘﾌﾟｷの真理論―型をもたない真理論(1) 真理から様相へ―型をもたない真理論(2))
出荷:
ﾒｰｶｰ在庫あり:1-3日
■
詳細ﾍﾟｰｼﾞ
■
ｼﾞｬｹｯﾄ画像
■
商品説明
女
商品検索
令
ﾍﾙﾌﾟ
TOP
J-WAVE CD&BOOK ONLINE
powerd by Neowing
