登入選單

返回Google圖書搜尋

Gödel's Incompleteness Theorems

Raymond M. Smullyan

出版	Oxford University Press, 1992
ISBN	160129641X9781601296412
URL	http://books.google.com.hk/books?id=wq7IjwEACAAJ&hl=&source=gbs_api

註釋

1. The General Idea Behind Gdel's Proof2. Tarski's Theorem for Arithmetic3. The Incompleteness of Peano Arithmetic with Exponentation4. Arithmetic Without the Exponential5. Gdel's Proof Based on Consistency6. Rosser Systems7. Shepherdson's Representation Theorems8. Definability and Diagonalization9. The Unprovability of Consistency10. Some General Remarks on Provability and Truth11. Self-Referential Systems.