Incompleteness: The Proof and Paradox of Kurt Gödel
E725908
Incompleteness: The Proof and Paradox of Kurt Gödel is a biographical and philosophical study that intertwines Kurt Gödel’s life with an accessible exploration of his incompleteness theorems and their broader intellectual implications.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Incompleteness: The Proof and Paradox of Kurt Gödel canonical | 1 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
biography
ⓘ
book ⓘ |
| about |
Gödel's intellectual context
ⓘ
Gödel's life ⓘ implications of incompleteness theorems ⓘ |
| author | Rebecca Goldstein NERFINISHED ⓘ |
| authorName | Rebecca Newberger Goldstein NERFINISHED ⓘ |
| countryOfOrigin |
United States of America
ⓘ
surface form:
United States
|
| explains |
first incompleteness theorem
NERFINISHED
ⓘ
second incompleteness theorem NERFINISHED ⓘ |
| featuresPerson |
Albert Einstein
NERFINISHED
ⓘ
members of the Vienna Circle ⓘ |
| genre |
biography
ⓘ
history of mathematics ⓘ philosophy ⓘ |
| hasParatext |
bibliography
ⓘ
index ⓘ notes ⓘ |
| hasSubject |
Platonism in mathematics
ⓘ
Vienna Circle NERFINISHED ⓘ logical positivism ⓘ relationship between logic and human rationality ⓘ |
| intendedAudience |
general readers
ⓘ
readers interested in mathematics and philosophy ⓘ |
| language | English ⓘ |
| mainSubject |
Gödel's incompleteness theorems
ⓘ
Kurt Gödel NERFINISHED ⓘ logic ⓘ philosophy of mathematics ⓘ |
| mediaType |
hardcover
ⓘ
paperback ⓘ print ⓘ |
| narrativeStyle | interweaves biography and exposition of ideas ⓘ |
| notableFor |
accessible explanation of Gödel's incompleteness theorems
ⓘ
combining biography with philosophy of mathematics ⓘ |
| philosophicalPerspective | sympathetic to Gödel's rationalism and Platonism ⓘ |
| publicationYear | 2005 ⓘ |
| publisher | W. W. Norton & Company NERFINISHED ⓘ |
| series | Great Discoveries series NERFINISHED ⓘ |
| setting |
20th-century Europe
ⓘ
Princeton NERFINISHED ⓘ |
| topic |
foundations of mathematics
ⓘ
history of logic ⓘ mathematical logic ⓘ philosophy of mind ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.