Search

Filter

Results

11. International Congress Speaker - MacTutor History of Mathematics

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

    10 Mar 2024: Kurt Gödel, Rotating Universes in General Relativity Theory. ... Kurt Schütte, Neuere Ergebnisse der Beweistheorie.

12. Sigmund books - MacTutor History of Mathematics

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

    7 Mar 2023: Kurt Gödel - The Album (2006), by J Dawson, K Mühlberger and Karl Sigmund. ... It will be appreciated by anybody who is interested in or curious about Kurt Gödel.

13. Heinz Klaus Strick's histories - MacTutor History of Mathematics

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

    1 May 2024: You can see the biographies indexed by postage stamps at THIS LINK.. Heinz Klaus Strick's Home page is at.

14. Paul Joseph Cohen - Stanford News Obituary - MacTutor History of…

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

    7 Mar 2023: All attempts to prove or disprove this conjecture failed until 1938, when Kurt Gödel showed it was impossible to disprove the continuum hypothesis. ... truth. "Kurt Gödel, whose work in the 1930s on the consistency of the continuum hypothesis was

15. Earliest Known Uses of Some of the Words of Mathematics (C) -…

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

    16 Apr 2024: CALCULUS. In Latin calculus means "pebble." It is the diminutive of calx, meaning a piece of limestone. The counters of a Roman abacus were originally made of stone and called calculi. (Smith vol. 2, page 165). In Latin, persons who did counting

16. Word problems - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/HistTopics/Word_problems/

    7 Mar 2023: Otto Schreier attended a lecture by Kurt Reidemeister in Hamburg in January 1926. ... questions. In the 1930s Kurt Gödel investigated how symbolic manipulation in formal logic could be simulated by functions on the natural numbers.

17. 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:

18. - MacTutor History of Mathematics

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

    10 Mar 2024: The American Mathematical Society established the Josiah Willard Gibbs Lectureship in 1923.The Society chooses speakers with a known ability to deliver lectures which are understandable by non-mathematicians.The aim is to make people aware of the

19. Alfred Tarski (1901 - 1983) - Biography - MacTutor History of…

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

    26 Jan 2024: J Wolenski, Gödel, Tarski and the undefinability of truth, Jbuch. Kurt-Gödel-Ges. ... J Wolenski, Semantic revolution-Rudolf Carnap, Kurt Gödel, Alfred Tarski, in Alfred Tarski and the Vienna Circle, Vienna, 1997 (Dordrecht, 1999), 1-15.

20. 6th February - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Miscellaneous/messages/02-06/

    7 Mar 2023: On this day in 1930, Kurt Gödel received his Ph.D. from the University of Vienna for a dissertation, directed by Hans Hahn, that showed the completeness of first order logic