Search
Filter
Results
Results that match 1 of 2 words
-
Leonard Adleman (1945 - ) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Adleman/19 Apr 2024: Martin Gardner had written an article on Gödel's theorem in Scientific American which overwhelmed Adleman with its deep philosophical implications:-. ... Adleman decided to join graduate school and come away with an understanding of Gödel's theorem at
-
Girolamo Cardano (1501 - 1576) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Cardan/30 Dec 2023: Mat. (4) 24 (1946), 141-151. K Reich, Diophant, Cardano, Bombelli, Viète : Ein Vergleich ihrer Aufgaben, in Festschrift für Kurt Vogel (Munich, 1968), 131-150.
-
Georg Kreisel (1923 - 2015) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Kreisel/7 Mar 2023: He persuaded Gödel to invite Kreisel to the Institute for Advanced Study and Kreisel arrived there in the summer of 1955. ... Kreisel returned to Reading in 1957 but kept up a mathematically important correspondence with Gödel.
-
Gerhard Gentzen (1909 - 1945) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Gentzen/7 Mar 2023: Of course Gödel published his incompleteness theorem just at the time Gentzen was beginning his work. ... the final proofs because of worries about the significance of Gödel's theorems.
-
Louis Nirenberg (1925 - 2020) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Nirenberg/26 Feb 2024: His official supervisor was Jim Stoker but he was greatly influenced by Kurt Friedrichs.
-
Albert Einstein (1879 - 1955) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Einstein/25 Mar 2024: Internaz. Storia Sci. (N.S.) 28 (2) (1991), 543-556. G Hon, Disturbing, but not surprising : did Gödel surprise Einstein with a rotating universe and time travel?, Found.
-
Gilbert Baumslag (1933 - 2014) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Baumslag/12 Apr 2024: His thesis was entitled On Series of Subgroups Related to Groups of Automorphisms, and his thesis advisor had been Kurt Hirsch.
-
Lenore Blum (1942 - ) - Biography - MacTutor History of Mathematics
https://mathshistory.st-andrews.ac.uk/Biographies/Blum/21 Dec 2023: Born. 18 December 1942. Summary. Lenore Blum is an American mathematician who has made important advances in computer science. . View seven larger pictures. We should make it clear from the beginning of this biography of Lenore Blum that Blum is her
-
Martin Löb (1921 - 2006) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Lob/7 Mar 2023: The problem really goes back to Gödel's incompleteness theorem of 1931. ... Basically Gödel showed that, given a system. T. T. T, the statement "This statement is unprovable in system.
-
Sigekatu Kuroda (1905 - 1972) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Kuroda/7 Mar 2023: the visit, he wrote to Gödel on 16 June of that year [7]:-. ... Comp. 24 (110) (1970), 491-493. M van Atten, Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer (Springer 2015).