Gödel's proof,
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
[New York]
New York University Press,
1958.
|
| Subjects: |
Table of Contents:
- 1. Introduction
- 2. The Problem of Consistency
- 3. Absolute Proofs of Consistency
- 4. The Systematic Codification of Formal Logic
- 5. An Example of a Successful Absolute Proof of Consistency
- 6. The Idea of Mapping and Its Use in Mathematics
- 7. Godel's Proofs
- 8. Concluding Reflections.