An edition of Gödel's proof (1958)

Gödel's proof

Rev. ed.

by

  • ★★★ 3.43 ·
  • 7 Ratings
  • 23 Want to read
  • 1 Currently reading
  • 7 Have read
Cover of: Gödel's proof by Ernest Nagel
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • ★★★ 3.43 ·
  • 7 Ratings
  • 23 Want to read
  • 1 Currently reading
  • 7 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by OnFrATa
December 3, 2010 | History
Edit
An edition of Gödel's proof (1958)

Gödel's proof

Rev. ed.

by

  • ★★★ 3.43 ·
  • 7 Ratings
  • 23 Want to read
  • 1 Currently reading
  • 7 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
New York University Press
Language
English
Pages
129

Check nearby libraries

Buy this book

Previews available in: Chinese Spanish English French

Subjects
Metamathematics
People
Kurt Gödel

Showing 7 featured editions. View all 40 editions?

Edition Availability
Cover of: Ge de er zheng ming
Ge de er zheng ming
2008, Zhongguo ren min da xue chu ban she
in Chinese
Libraries near you: WorldCat
Cover of: El teorema de Godel
El teorema de Godel
2007, Tecnos
in Spanish - 4a. ed.
Libraries near you: WorldCat
Cover of: Gödel's proof
Gödel's proof
2001, New York University Press
in English - Rev. ed.
  • Not in Library
Libraries near you: WorldCat
Cover of: Le Théorème de Gödel
Le Théorème de Gödel
September 1, 1989, Seuil
Paperback in French
Libraries near you: WorldCat
Cover of: Gödel's Proof
Gödel's Proof
January 1989, Routledge
in English
Libraries near you: WorldCat
Cover of: Gödel's proof
Gödel's proof
1959, Routledge & Kegan Paul
in English
Libraries near you: WorldCat
Cover of: Gödel's Proof
Gödel's Proof
1958, New York University Press
Paperback in English
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

New York

Table of 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.

Edition Notes

Includes bibliographical references (p. 125) and index.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.65 .N34 2001, QA9.65.N34 2002

The Physical Object

Pagination
xxiii, 129 p. :
Number of pages
129

ID Numbers

Open Library
OL3951040M
Internet Archive
godelsproof00nage_127
ISBN 10
0814758169
LCCN
2001044481
Library Thing
171883
Goodreads
695429

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

See All

History

Download catalog record: RDF / JSON
February 12, 2023 Edited by OnFrATa Merge works (MRID: 47176)
February 11, 2023 Edited by OnFrATa Merge works (MRID: 46860)
February 10, 2023 Edited by bitnapper merge authors
December 16, 2022 Edited by MARC Bot import existing book
December 10, 2009 Created by WorkBot add works page