Gödel's Proof (Classic Reprint)
| Autor: | Ernest Nagel |
|---|---|
| Kategorie: | |
| Popis: | Excerpt from Gödel's Proof (Classic Reprint)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 Mathematics Gédel's Proofs A Giidel numbering B The arithmetizatlon of meta-mathematics C The heart of Gédel's argument Concluding Reflections Appendix: Notes Brief Bibliography Index. |
| Databáze: | eBook Index |
| Externí odkaz: |
|