Gödel's proof [electronic resource] / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.

By:

Nagel, Ernest, 1901-1985

Contributor(s):

Material type: Text

TextPublication details: New York, N.Y. : New York University Press, c2001.Edition: Rev. edDescription: 1 online resourceISBN:

9780814758168
9780585480329 (electronic bk.)

Subject(s):

Gödel's theorem

LOC classification:

QA9.65 .N34 2001

Online resources:

Electronic Resources

Contents:

Machine generated contents note: Foreword to the New Edition by Douglas R Hofstadter ix -- Acknowledgments xxiii -- i Introduction I -- II The Problem of Consistency 7 -- inI Absolute Proofs of Consistency 25 -- iv The Systematic Codification of Formal Logic 37 -- v An Example of a Successful Absolute Proof of -- Consistency 45 -- vI The Idea of Mapping and Its Use in Mathematics 57 -- vii G6del's Proofs 68 -- A Godel numbering 68 -- B The arithmetization of meta-mathematics 80 -- c The heart of Godel's argument 92 -- vIII Concluding Reflections 109 -- Appendix: Notes 114 -- Brief Bibliography 125 -- Index 127.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Print
Cite
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches
Search for this title in:
Find Books from Google Book Find Papers from Google Scholar Online Stores (Bookfinder.com) Citation Machine: APA style EasyBib: MLA style

Share this title:

Storage	Name	Value	Expiration	Description
Cookie	CGISESSID	Session ID	Until logout or end of session	Session cookie
Cookie	KohaOpacLanguage	Language code	3 years	Stores the language the user selected, so the online catalog will appear in that same language the next time it is visited.
Cookie	form_serialized form_serialized_limits	Search terms and limits	End of session or when the advanced search page is accessed again.	jQuery cookie. Stores search terms and limits of the last advanced search. Set when an advanced search is submitted.
Cookie	search_path_code	ads (fewer) or exs (more)	End of session or when the advanced search page is accessed again.	jQuery cookie. Related to serialized_form* cookies. Stores if the advanced search form was used with 'More options' or 'Fewer options'.
Cookie	num_paragraph	Count of search options added	End of session or when the advanced search page is accessed again.	jQuery cookie. Used to store the number of created options when user selects 'More options' in advanced search to increase search boxes.
Cookie	bib_list	List of record IDs (biblionumbers) separated by /	End of session or until the cart is emptied.	Stores cart contents in the online catalog. Set when records are added to the cart for the first time.

Gödel's proof [electronic resource] / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.

Library Opening Hours

Contact Us

Knowledge Center