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