資料詳細

検索条件

ハイライト

ゲーデルの不完全性定理貸出可

レイモンド・スマリヤン／[著] -- 丸善 -- 1996.7 -- 410.9

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

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	公開書庫東	410.9/96/	00002851855	和書	帯出可	在庫

タイトル	ゲーデルの不完全性定理 ,
書名ヨミ	ゲーデル　ノ　フカンゼンセイ　テイリ
著者	レイモンド・スマリヤン／[著], 高橋昌一郎／訳
著者名ヨミ	スマリヤン,レイモンド M. , タカハシ,ショウイチロウ
出版者	丸善
出版年	1996.7
ページ数, 大きさ	220p, 22cm
NDC１０版	410.9
NDC８版	410.96
一般件名	不完全性定理
注記	原タイトル:Gödel's incompleteness theorems, 改訳版のタイトル等:スマリヤン不完全性定理(丸善出版 2019年刊)
著者紹介	1919年生まれ。シカゴ大学哲学科卒業。プリンストン大学等の教職を経て、92年よりインディアナ大学哲学科名誉教授。専門は論理学。多数の著書・論文がある。
内容紹介	数学・哲学・情報科学の専門家ばかりでなく、この定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
内容注記	文献：ｐ２１１〜２１２