Log In
Or create an account -> 
Imperial Library
  • Home
  • About
  • News
  • Upload
  • Forum
  • Help
  • Login/SignUp

Index
Foreword to the New Edition by Douglas R. Hofstadter Acknowledgments I Introduction II The Problem of Consistency III Absolute Proofs of Consistency IV The Systematic Codification of Formal Logic V An Example of a Successful Absolute Proof of Consistency VI The Idea of Mapping and Its Use in Mathematics VII Gödel’s Proofs
A Gödel numbering B The arithmetization of meta-mathematics C The heart of Gödel’s argument
VIII Concluding Reflections
Appendix: Notes Brief Bibliography Index
  • ← Prev
  • Back
  • Next →
  • ← Prev
  • Back
  • Next →

Chief Librarian: Las Zenow <zenow@riseup.net>
Fork the source code from gitlab.

This is a mirror of the Tor onion service:
http://kx5thpx2olielkihfyo4jgjqfb7zx7wxr3sd4xzt26ochei4m6f7tayd.onion