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

高橋昌一郎(訳者), 川辺治之(訳者), 村上祐子(訳者)

• 販売会社／発売会社: 丸善出版
• 発売年月日: 2019/12/30
• JAN: 9784621304785

商品レビュー

2026/03/10

わかりやすい！ 問題の解答はほぼなし。問題を解いていきたい。→ 証明が全然書けない！どうしたものか。

2025/10/10

タルスキーの真理集合，ゲーデルによるω無矛盾性の仮定，ロッサーによる単純無矛盾性の仮定，といった不完全性定理の3つの証明方法を紹介。