スマリヤン不完全性定理 改訳版

丸善出版
高橋昌一郎　川辺治之　村上祐子　

• 価格: 2,640円（本体2,400円＋税）
• 発行年月: 2019年12月
• 判型: Ａ５
• ISBN: 9784621304785

内容情報

[BOOKデータベースより]

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

[日販商品データベースより]

『ゲーデルの不完全性定理』（高橋昌一郎訳，丸善，1996年）の改訳版。読者より受けたさまざまなコメントも参照しながら、訳文に加筆修正を加えた。