本/雑誌
スマリヤン不完全性定理 / 原タイトル:Godel’s Incompleteness Theorems
RaymondSmullyan/〔著〕 高橋昌一郎/監訳 川辺治之/訳 村上祐子/訳
2640円
| ポイント | 1% (26p) |
|---|---|
| 発売日 | 2019年12月発売 |
| 出荷目安 | メーカー在庫見込あり:1-3週間
※出荷目安について |
- 追跡可能メール便 送料無料
著者・出版社・関連アーティスト
関連記事
収録内容
| 1 | ゲーデルの証明の基礎概念 |
| 2 | 算術におけるタルスキーの定理 |
| 3 | べき乗に基づくペアノ算術における不完全性 |
| 4 | べき乗に基づかない算術 |
| 5 | ω無矛盾性に基づくゲーデルの証明 |
| 6 | ロッサー体系 |
| 7 | シェファードソンの表現定理 |
| 8 | 定義可能性と対角化 |
| 9 | 無矛盾性の証明不可能性 |
| 10 | 証明可能性と真理性に関する一般概念 |
| 11 | 自己言及体系 |
close