Books like Gödel's proof by Ernest Nagel

Name: Gödel's proof
Rating: 3.5 (8 reviews)
Author: Ernest Nagel

Ernest Nagel and James Newman provide an accessible exposition of Kurt Gödel’s 1931 proof of the incompleteness theorem—originally presented in "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Their clear analysis makes the complex logic understandable to both specialists and non‑specialists, while Douglas R. Hofstadter’s new introduction broadens the book’s appeal to students, scholars, and professionals in mathematics, computer science, logic, and philosophy.

First publish date: 1959

Genre: Philosophy/Epistemology

Authors: Ernest Nagel

★ ★ ★ ★ ★ 3.5 (8 community ratings)

All books by Ernest Nagel

How are these books recommended?

The books recommended for Gödel's proof by Ernest Nagel are shaped by reader interaction. Votes on how closely books relate, user ratings, and community comments all help refine these recommendations and highlight books readers genuinely find similar in theme, ideas, and overall reading experience.

Have you read any of these books?
Your votes, ratings, and comments help improve recommendations and make it easier for other readers to discover books they’ll enjoy.

Books similar to Gödel's proof (5 similar books)

📘 Incompleteness

by Rebecca Goldstein

A concise biography of Kurt Gödel, the Austrian‑American logician whose incompleteness theorems forever changed mathematics.

★★★★★★★★★★ 4.0 (2 ratings)

Similar?
✓ Yes 0 ✗ No 0

Books like Incompleteness

📘 Principia mathematica

by Alfred North Whitehead

*Principia Mathematica* has been described as one of the greatest intellectual achievements of human history. It attempts to rigorously reduce mathematics to logic. Among other things, it defines the concept of number. It is obviously a very dense and abstract work which has been made all the more difficult to read in light of more recent developments in the symbolic representation of logical concepts. It would be helpful in any new edition of the book to provide a summary of the reactions to and developments of the ideas in the work, a list of corrections, a bibliography, and a table of equivalent current logical symbols.

★★★★★★★★★★ 2.0 (1 rating)

Similar?
✓ Yes 0 ✗ No 0

Books like Principia mathematica

📘 Euclid in the Rainforest

by Joseph Mazur

★★★★★★★★★★ 0.0 (0 ratings)

Similar?
✓ Yes 0 ✗ No 0

Books like Euclid in the Rainforest

📘 A mathematical introduction to logic

by Herbert B. Enderton

★★★★★★★★★★ 0.0 (0 ratings)

Similar?
✓ Yes 0 ✗ No 0

Books like A mathematical introduction to logic

📘 Shadows of the mind

by Roger Penrose

Roger Penrose explores the limits of computation, quantum mechanics, and microbiology to argue that consciousness may transcend current scientific understanding.

★★★★★★★★★★ 0.0 (0 ratings)

Similar?
✓ Yes 0 ✗ No 0

Books like Shadows of the mind

Some Other Similar Books

The Foundations of Mathematics by Hilbert and Ackermann
Logic, Syntax and Semantics by Paul Benacerraf and Hilary Putnam
The Nature of Mathematical Knowledge by Helen K. M. Gibbon
Computability and Logic by H. Rogers Jr.
Mathematical Logic by Elliott Mendelson
The Entscheidungsproblem by Haskell B. Curry
Set Theory and Its Philosophy by Michael Potter
The Limits of Mathematics by Emil Post

Have a similar book in mind? Let others know!

Please login to submit books!