Godel's proof
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Undetermined English |
| Published: |
New York University Press
2001
|
| Subjects: |
Table of Contents:
- Foreword -- Acknowledgments -- Introduction -- The Problem of Consistency -- Absolute Proofs of Consistency -- The Systematic Codification of Formal Logic -- An Example of a Successful Absolute Proof of -- Consistency -- The Idea of Mapping and Its Use in