資料詳細

  • 1 件中、 1 件目

ゲーデルの不完全性定理 利用可

レイモンド・スマリヤン／〔著〕 -- 丸善 -- 199607 -- 4109

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ｽﾏﾘ/一般Ｈ 112688845 一般 利用可

ページの先頭へ

資料詳細

タイトル ゲーデルの不完全性定理
書名ヨミ ゲ－デル　ノ　フカンゼンセイ　テイリ
著者名 レイモンド・スマリヤン ／〔著〕, 高橋昌一郎 ／訳  
著者ヨミ スマリヤン，レイモンド , タカハシ，シヨウイチロウ  
出版者 丸善  
出版年 199607
ページ数等 ２２０ｐ
大きさ ２２ｃｍ
内容細目 参考文献：ｐ２１１～２１２
原書名 Ｇ・ｄｅｌ’ｓ　Ｉｎｃｏｍｐｌｅｔｅｎｅｓｓ　Ｔｈｅｏｒｅｍｓ．　の翻訳
一般件名 ゲーデルの定理  
ISBN 4-621-04204-1
問合わせ番号（書誌番号） 1100277140
NDC8版 4109
内容紹介 驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　ゲーデルの証明の基礎概念
第２章　数論におけるタルスキーの定理
第３章　累乗法に基づくペアノの数論における不完全性
第４章　累乗法に基づかない数論
第５章　ω無矛盾性に基づくゲーデルの証明
第６章　ロッサー体系
第７章　シェファードソンの表現定理
第８章　定義可能性と対角化
第９章　無矛盾性の証明不可能性
第１０章　証明可能性と真理性に関する一般概念
第１１章　自己言及体系

ページの先頭へ