Skip to main content
14 votes
Accepted

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

The quote is from the remark Gödel made after Robinson's talk at the Institute for Advanced Study in Princeton in March 1973. It is reproduced in the preface to the second edition of Robinson’s Non-...
Conifold's user avatar
  • 77.5k
13 votes
Accepted

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

No, he was not. Cohen wrote his own account of the history of forcing, The Discovery of Forcing (Rocky Mountain J. Math. 32 (4) (2002), 1071-1100), where he addresses his relationship with Gödel in ...
Conifold's user avatar
  • 77.5k
8 votes

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

In the 1970s Gödel recommended Robinson for membership in the British Academy of Sciences. His recommendation was based in part on Robinson's framework for analysis with infinitesimals. From the ...
Mikhail Katz's user avatar
  • 6,052
8 votes

Checking a Gödel quote on Principia Mathematica

In responding to your question, I hope that I can convince you of the following two claims: Gödel held that the formal system of the actual Principia was that of ramified type thoery (simple type ...
Landon D. C. Elkind's user avatar
7 votes
Accepted

Did Gödel know about Turing degrees in 1946?

I do not believe that degrees of computability were directly relevant to the topic of Gödel's 1946 lecture because they do not relativize computability in the relevant language dependent sense that ...
Conifold's user avatar
  • 77.5k
6 votes

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

Kurt Gödel enrolled in the University of Vienna, attending lectures on physics, his initial field of interest, lectures on philosophy given by Heinrich Gomperz, and lectures on mathematics. [...] ...
Mauro ALLEGRANZA's user avatar
5 votes

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

Since there is no record of Gödel's view, any response to this question is a matter of opinion. One of the few philosophers who has published opinions on the merits of Gödel's philosophical views, as ...
nwr's user avatar
  • 6,909
1 vote

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

I think this is an apocryphal story because it makes a good story. The exact 'loophole' is not known. However, according to Wikipedia, one academic suggests that it is article V on amending the ...
Mozibur Ullah's user avatar
1 vote

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

The nature of infinitesimals have been debated since Newtons time. The traditional epsilon-delta method is clumsy though rigorous. Robinson's infinitesimals was another approach - there are others - ...
Mozibur Ullah's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible