レイモンド スマリヤン/著 -- 丸善(発売) -- 1996.7 -- 410.9

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫4門 /410/Sm8/ 0010096090368 一般図書 書架

資料詳細

タイトル1 ゲ-デルの不完全性定理 
著者1 レイモンド スマリヤン /著, 高橋昌一郎 /訳  
出版年 1996.7
出版者 丸善(発売)
一般件名 不完全性定理
ページ数 220p
大きさ 22cm
ISBN 4-621-04204-1
NDC分類(10版) 410.9
内容紹介 数学・哲学・情報科学の専門家ばかりでなく、この定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲ-デルの証明、タルスキ-の定理、ロッサ-体系など、最も単純なものを中心に、創意工夫をこらして解説。

著者紹介

著者紹介1-1 1919年生まれ。シカゴ大学哲学科卒業。プリンストン大学等の教職を経て、92年よりインディアナ大学哲学科名誉教授。専門は論理学。多数の著書・論文がある。