## Find a copy in the library

Finding libraries that hold this item...

## Details

Material Type: | Internet resource |
---|---|

Document Type: | Book, Internet Resource |

All Authors / Contributors: |
Ernest Nagel; James R Newman; Douglas R Hofstadter |

ISBN: | 0814758169 9780814758168 9780814758373 0814758371 |

OCLC Number: | 47805077 |

Description: | xxiii, 129 pages : illustrations ; 21 cm |

Contents: | 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 Gödel numbering -- The arithmetization of meta-mathematics -- The heart of Gödel's argument -- Concluding reflections -- Appendix: Notes -- Brief bibliography -- Index. |

Responsibility: | by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter. |

More information: |

### Abstract:

Best-selling book that challenges basic assumptions of logic
Read more...

## Reviews

*Editorial reviews*

Publisher Synopsis

"A little masterpiece of exegesis." -Nature "An excellent nontechnical account of the substance of Godel's celebrated paper." -American Mathematical Society

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "Gödel's proof".
Be the first.