Godel's proof
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | |
| Язык: | неизвестный язык английский |
| Опубликовано: |
New York University Press
2001
|
| Предметы: |
Оглавление:
- 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