資料詳細

【図書】 ゲーデルの不完全性定理

レイモンド・スマリヤン／〔著〕, 高橋昌一郎／訳, 　 -- 丸善 -- １９９６．０７ -- ２２ｃｍ -- ２２０ｐ

タイトル	ゲーデルの不完全性定理
著者名等	レイモンド・スマリヤン／〔著〕, 高橋昌一郎／訳,
出版	丸善１９９６．０７
大きさ等	２２ｃｍ２２０ｐ
分類	410.9
件名	ゲーデルの定理
注記	Ｇｏ¨ｄｅｌ’ｓ　Ｉｎｃｏｍｐｌｅｔｅｎｅｓｓ　Ｔｈｅｏｒｅｍｓ．
内容	参考文献：ｐ２１１～２１２
要旨	驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。
目次	第１章　ゲーデルの証明の基礎概念；第２章　数論におけるタルスキーの定理；第３章　累乗法に基づくペアノの数論における不完全性；第４章　累乗法に基づかない数論；第５章　ω無矛盾性に基づくゲーデルの証明；第６章　ロッサー体系；第７章　シェファードソンの表現定理；第８章　定義可能性と対角化；第９章　無矛盾性の証明不可能性；第１０章　証明可能性と真理性に関する一般概念；第１１章　自己言及体系
ISBN(13)、ISBN	4-621-04204-1
書誌番号	1196044151
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1196044151

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/218	一般書	利用可	-	2008312128