資料詳細

  • 1 件中、 1 件目

今度こそわかるゲーデル不完全性定理 利用可

本橋 信義／著 -- 講談社 -- 2012.3 -- 410.9

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ４階自然 Map 11 /410.9/ﾓﾄ/1041024 1110410240 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 今度こそわかるゲーデル不完全性定理
著者 本橋 信義 ／著  
出版地 東京
出版者 講談社
出版年 2012.3
ページ数 9,161p
大きさ 21cm
一般件名 不完全性定理
内容紹介 ゲーデルの不完全性定理を、普通の言語から形式言語にいたる形式化の過程の中で説明。形式化の過程で変化する不完全性の意味について、新しい論理学の紹介をしながら、新たな切り口でわかりやすく解説する。
ISBN13桁 978-4-06-156506-7 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 410.9

ページの先頭へ