ゲーデルの不完全性定理

レイモンド・スマリヤン [著] ; 高橋昌一郎 訳

驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。

「BOOKデータベース」より

[目次]

  • 第1章 ゲーデルの証明の基礎概念
  • 第2章 数論におけるタルスキーの定理
  • 第3章 累乗法に基づくペアノの数論における不完全性
  • 第4章 累乗法に基づかない数論
  • 第5章 ω無矛盾性に基づくゲーデルの証明
  • 第6章 ロッサー体系
  • 第7章 シェファードソンの表現定理
  • 第8章 定義可能性と対角化
  • 第9章 無矛盾性の証明不可能性
  • 第10章 証明可能性と真理性に関する一般概念
  • 第11章 自己言及体系

「BOOKデータベース」より

この本の情報

書名 ゲーデルの不完全性定理
著作者等 Smullyan, Raymond M
高橋 昌一郎
スマリヤン レイモンド
書名ヨミ ゲーデル ノ フカンゼンセイ テイリ
書名別名 Gödel's incompleteness theorems

Gederu no fukanzensei teiri
出版元 丸善
刊行年月 1996.7
ページ数 220p
大きさ 22cm
ISBN 4621042041
NCID BN14775093
※クリックでCiNii Booksを表示
全国書誌番号
97012318
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想