Search

Filter

Results

31. Valdivia aesthetic maths - MacTutor History of Mathematics

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

    7 Mar 2023: It turns out that the greatest logician of the twentieth century, Kurt Gödel, was a totally convinced Platonist. ... Then Gödel, although he greatly respected them scientifically, as he was deeply religious, abandoned them.

32. Paul Finsler (1894 - 1970) - Biography - MacTutor History of…

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

    7 Mar 2023: In 1931 Kurt Gödel published Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. ... S Feferman (ed.), Kurt Gödel: Collected Works: Volume IV: Selected Correspondence, A-G (Clarendon Press, 2003).

33. David Hilbert English version PDF (754k)

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

    3 Mar 2021: But then in 1931, the Austrian logician KURT GÖDEL proved that a proof of consistency of a theory cannot be accomplished solely with the methods of that theory. ... Heinz Klaus Strick Leverkusen, p. 4 / 6. (Portugal: Mathematicians of the century: HENRI

34. Bertrand Russell (1872 - 1970) - Biography - MacTutor History of…

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

    30 Dec 2023: Along with Kurt Gödel, he is usually credited with being one of the two most important logicians of the twentieth century. ... K Gödel, Russell's Mathematical Logic, in P A Schilpp (ed.), The Philosophy of Bertrand Russell, 3rd ed., (New York: Tudor,

35. Friedrich Hirzebruch addresses the 1998 ICM - MacTutor History of…

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

    7 Mar 2023: Among the presidents of the Society in this period were Felix Klein, Alexander Wilhelm von Brill, Max Noether, David Hilbert, Alfred Pringsheim, Friedrich Engel, Kurt Hensel, Edmund Landau, Erich Hecke, Otto ... He worked at the Institute for Advanced

36. Earliest Known Uses of Some of the Words of Mathematics (R) -…

    https://mathshistory.st-andrews.ac.uk/Miller/mathword/r/

    7 Mar 2023: Information from Dr. Gregory Dresden, consulting "The Discovery of Incommensurability by Hippasus of Metapontum" by Kurt von Fritz and A Greek-English Lexicon by Liddell and Scott.]. ... B. Rosser in another important paper ["Extension of some theorems

37. Andrzej Mostowski (1913 - 1975) - Biography - MacTutor History of…

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

    8 Apr 2024: After spending the academic year 1948-49 at the Institute for Advanced Study at Princeton, where he renewed contacts with Kurt Gödel, he returned to Warsaw to positions of higher standing. ... The logical classification of arithmetical concepts and the

38. Andrei Markov PDF (568k)

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

    11 Aug 2022: This millennium stamp from Portugal shows JULES HENRI POINCARÉ, KURT GÖDEL and ANDREI KOLMOGOROV as the most important mathematicians of the 20th century).

39. Von Neumann books - MacTutor History of Mathematics

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

    24 May 2024: We list below 24 books by John von Neumann, only 6 of them being published in his lifetime. Some of the books in the list are second, third or later editions, often published with new prefaces and/or introductions. For each book in the list we give

40. Hans Hahn (1879 - 1934) - Biography - MacTutor History of Mathematics

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

    29 Sep 2023: his doctorate in 1926, and Kurt Gödel who was awarded his doctorate in 1929. ... From Dedekind to Gödel, Boston, MA, 1992 (Kluwer Acad.