Godel's proof
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre |
| Langue: | langue indéterminée anglais |
| Publié: |
New York University Press
2001
|
| Sujets: |
Table des matières:
- 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