Godel's Incompleteness Theorems
- Binding: Hardcover
- Publisher: Oxford University Press
- Publish date: 08/01/1992
Description:
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
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Please Wait