Search

Filter

Results

21. Wigderson Awards - MacTutor History of Mathematics

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

    16 Apr 2024: The prize is named for Kurt Gödel, who was a Member (1933-34, 1935, 1938, 1940-53) of the Institute and subsequently served on the Faculty (1953-78). ... Its roots go back to the foundational works of Kurt Gödel, Alonzo Church, Alan Turing, and John

22. Heinz Klaus Strick's biographies - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Strick/index2/

    1 May 2024: Click on a thumbnail to see the full image. Click on the name to go to Heinz Klaus Strick's biography.

23. Martin Löb - Guardian obituary - MacTutor History of Mathematics

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

    7 Mar 2023: Kurt Gödel, in his celebrated Incompleteness Theorem of 1931, had constructed a self-referential statement of formal arithmetic asserting its own unprovability and shown, assuming consistency, that it has to be ... Whereas Gödel's theorem is

24. Earliest Known Uses of Some of the Words of Mathematics (U) -…

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

    7 Mar 2023: Undecagon is found in English in 1728 in Chambers' Cyclopedia. UNDECIDABLE was used by Kurt Gödel (1906-1978) in 1931 in the title Über formal unentscheidbare Sätze der Principia Mathematica und

25. Paul Cohen (1934 - 2007) - Biography - MacTutor History of…

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

    30 Dec 2023: In [7] Cohen explains how he came to the idea of forcing from reading Kurt Gödel's The Consistency of the Continuum Hypothesis, a book consisting of notes of a course ... After reading Cohen's proof which he sent in a letter of 9 May 1963, Kurt Gödel

26. AMS Gibbs Lecturer - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Honours/AMSGibbsLecturers/

    10 Mar 2024: The Gibbs lectures of the American Mathematical Society were named in honour of Josiah Willard Gibbs. 1923 M I Pupin. 1924 Robert Henderson. 1925 James Pierpont. 1926 H B Williams. 1927 E W Brown. 1929 Irving Fisher. 1930 E B Wilson. 1931 P W

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

28. Karl Sigmund (1945 - ) - Biography - MacTutor History of Mathematics

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

    7 Mar 2023: Here Kurt Gödel announced his incompleteness theorem, Ludwig Boltzmann worked on entropy, and Ludwig Wittgenstein challenged the Vienna circle. ... R Schindler, Review: Kurt Gödel - The Album, by J Dawson, K Mühlberger and Karl Sigmund, European

29. W V Quine - Guardian obituary - MacTutor History of Mathematics

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

    7 Mar 2023: The following year, Quine visited Europe on a travelling fellowship, and met members of the Vienna Circle (the anti-metaphysical Logical Positivists), their British disciple AJ Ayer, and the young Kurt ... Gödel, who had just produced his renowned

30. Earliest Known Uses of Some of the Words of Mathematics (G) -…

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

    7 Mar 2023: John Aldrich]. GÖDEL'S INCOMPLETENESS THEOREM refers to a result obtained by Kurt Gödel in his "über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme" (On the formally undecidable theorems ... The term Gödel's