Questions tagged [goedel]

Kurt Friedrich Gödel (1906-1978) was an Austrian logician, mathematician, and philosopher.

Filter by
Sorted by
Tagged with
2 votes
0 answers

Kurt Gödel: a biography

I'm looking for a well-written biographical book about Kurt Gödel. Any titles you'd recommend?
mrnld's user avatar
  • 156
3 votes
1 answer

Checking a Gödel quote on Principia Mathematica

Is there any serious doubt of whether the first edition of Russell and Whitehead's Principia Mathematica used the ramified theory of types? I am travelling and cannot easily check sources but I do ...
Colin McLarty's user avatar
9 votes
1 answer

Was Paul Cohen a student or assistant of Gödel?

In The Man Who Loved Only Numbers, a biography about Paul Erdős, by Paul Hoffman, the author claims that Paul Cohen was "Gödel's former assistant" (p 225). However, I can't find any other sources ...
Kevin Long's user avatar
5 votes
1 answer

Did Gödel know about Turing degrees in 1946?

A much quoted passage from Gödel is the opening section of his Remarks before the Princeton bicentennial conference on problems in mathematics (1946) where he praises Turing's Turing machine model of ...
Not_Here's user avatar
  • 232
10 votes
2 answers

Did Gödel consider himself primarily a philosopher who is interested in mathematics (instead of the other way round)?

Kurt Gödel is one of the "best" logicians of the 20th century. Here, the user "Jeffrey Kegler" states that: Kurt Gödel considered himself a philosopher who did mathematics, rather than as a ...
user4728's user avatar
  • 101
9 votes
1 answer

What was Gödel's proof that errors in U.S. constitution could allow the U.S. to become a fascist dictatorship?

According to this document, Kurt Gödel had discovered logical inconsistiencies in the U.S. constitution that could theoretically allow it to become a dictatorship. Morgenstern told him not to bring it ...
Christopher King's user avatar
18 votes
3 answers

What did Kurt Gödel mean by nonstandard analysis being "the analysis of the future"?

I found this: There are good reasons to believe that nonstandard analysis, in some version or other, will be the analysis of the future. What exactly did Kurt Gödel mean?
copper's user avatar
  • 983