Godel's proof
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | Nichtbestimmte Sprache Englisch |
| Veröffentlicht: |
New York University Press
2001
|
| Schlagworte: |
Inhaltsangabe:
- 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