スマリヤン不完全性定理

著者

• Smullyan, Raymond M.
• 高橋, 昌一郎 タカハシ, ショウイチロウ
• 川辺, 治之 カワベ, ハルユキ
• 村上, 祐子 ムラカミ, ユウコ

書誌事項

スマリヤン不完全性定理

Raymond Smullyan [著] ; 川辺治之, 村上祐子訳

丸善出版, 2019.12

改訳版

タイトル別名

不完全性定理 : スマリヤン

Gödel's incompleteness theorems

タイトル読み

スマリヤン フカンゼンセイ テイリ

注記

「Gödel's incompleteness theorems / Raymond Smullyan」(Oxford unversity press, 1992) の改訳版

初版のタイトル等: ゲーデルの不完全性定理 (丸善 1996年刊)

監訳: 高橋昌一郎

参考文献: p[169]-170

内容説明・目次

目次

• ゲーデルの証明の基礎概念
• 算術におけるタルスキーの定理
• べき乗に基づくペアノ算術における不完全性
• べき乗に基づかない算術
• ω無矛盾性に基づくゲーデルの証明
• ロッサー体系
• シェファードソンの表現定理
• 定義可能性と対角化
• 無矛盾性の証明不可能性
• 証明可能性と真理性に関する一般概念
• 自己言及体系

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB29564246
• ISBN:
  • 9784621304785
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: ix, 178p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
  • NDC10 : 410.9
• 件名:
  • BSH : 不完全性定理
  • NDLSH : ゲーデルの定理