Search

Filter

Results

41. Andrei Kolmogorov English version PDF (385k)

    https://mathshistory.st-andrews.ac.uk/Strick/kolmogorov.pdf

    5 Mar 2021: Pictured from left to right are the French mathematician JULES HENRI POINCARÉ (1854–1912), the Austrian (born in Brno, Moravia) logician KURT GÖDEL (1906–1978), and the Russian ANDREI NIKOLAEVICH KOLMOGOROV. ... GöDEL, perhaps the most important

42. Karl Menger on Hans Hahn - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Extras/Menger_on_Hahn/

    12 Jul 2023: Then there was Victor Kraft and, at Hahn's suggestion, the geometer, Kurt Reidemeister, who in 1923 came to Vienna for about two years. ... Schlick sided with Waismann, Neurath with Hahn. Kurt Gödel and I, though reticent in most debates in the Circle,

43. Alonzo Church (1903 - 1995) - Biography - MacTutor History of…

    https://mathshistory.st-andrews.ac.uk/Biographies/Church/

    20 Aug 2023: under Church. And Kurt Gödel visited the Institute for Advanced Study in 1933 and 1935, before moving there permanently. ... to truth tables, the substitution rule for the functional calculus, Gödel's completeness theorem, etc.

44. Weyl problems - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Extras/Weyl_problems/

    7 Mar 2023: Bertrand Russell, Egbertus Brouwer, David Hilbert, Kurt Gödel. I grew up a stern Cantorian dogmatist. ... then Gödel's great discoveries.

45. Rózsa Péter (1905 - 1977) - Biography - MacTutor History of…

    https://mathshistory.st-andrews.ac.uk/Biographies/Peter/

    7 Mar 2023: He suggested Péter examine Kurt Gödel's work on incompleteness [10]:-. Without knowing how Gödel had proved various results in his landmark paper, she was able to devise her own, different ... On the other side, it was Kleene who, having attended

46. Alexander Lyapunov PDF (630k)

    https://mathshistory.st-andrews.ac.uk/Strick/lyapunov.pdf

    17 Jun 2021: Portuguese Millenium stamp: Mathematicians of the 20th century – HENRI POINCARÉ, KURT GÖDEL, ANDREJ KOLMOGOROV).

47. Paul Bernays (1888 - 1977) - Biography - MacTutor History of…

    https://mathshistory.st-andrews.ac.uk/Biographies/Bernays/

    20 Oct 2023: Bernays' work on an axiomatic basis for mathematics was taken further by Kurt Gödel. ... G Takeuti, Work of Paul Bernays and Kurt Gödel, in Logic, Methodology and Philosophy of Science VI, Hannover, 1979, Stud.

48. Valdivia aspects of maths - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Extras/Valdivia_aspects_maths/

    7 Mar 2023: The answer to this was given by the Austrian Kurt Gödel, the most important logician of this century and one of the greatest thinkers of all time. ... Well, Gödel, in 1930, published his famous theorem of the incompleteness of arithmetic, where he

49. Ernst Zermelo English version PDF (684k)

    https://mathshistory.st-andrews.ac.uk/Strick/zermelo.pdf

    23 Mar 2021: The proof that the ZFC system is free of contradictions did not succeed; rather, KURT GÖDEL showed that such a proof is not possible within the framework of the ZFC system

50. Stephen C Kleene (1909 - 1994) - Biography - MacTutor History of…

    https://mathshistory.st-andrews.ac.uk/Biographies/Kleene/

    1 Jun 2023: It was certainly an exciting place to be undertaking research applying mathematical techniques to logic with visitors such as Kurt Gödel - Kleene attended a course he gave at the Institute for