MacTutor logo MacTutor

Search

Filter

Site Sections



Results

1 - 7 of 7 search results

  1. Kurt Gödel - New York Times obituary - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Obituaries/Godel_NY_Times/

    7 Mar 2023: Dr. Kurt Gödel, regarded by some mathematicians as the world's leading logician died yesterday at the Medical Center in Princeton, N.J. ... In presenting the award, Dr. John von Neumann of the institute said, "Kurt Gödel's achievement in modern logic

  2. 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.

  3. 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

  4. 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

  5. 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

  6. Henri Poincaré English version PDF (653k)

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

    3 Mar 2021: a limitation that was in fact revealed in 1931 by the Austrian logician KURT GÖDEL.

  7. LookingAsternTHE AUTOBIOGRAPHY OF Stanisław Świerczkowski Copyright… PDF (3963k)

    https://mathshistory.st-andrews.ac.uk/Publications/swierczkowski_autobiography.pdf

    4 Mar 2021: LookingAsternTHE AUTOBIOGRAPHY OF. Stanisław Świerczkowski. _____________________________________________________________________. Copyright by Stanisław (Stash) Świerczkowski, 2015 Photos copyright by Stanisław Świerczkowski Cover design: