MacTutor
Search
Filter
Results
Results that match 1 of 2 words
-
Émile Borel (1871 - 1956) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Borel/2 Jun 2024: in From Dedekind to Gödel, Boston, MA, 1992 (Kluwer Acad. Publ., Dordrecht, 1995), 263-281.
-
John Coates (1945 - 2022) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Coates/26 Jan 2024: Kurt Mahler had also been appointed at A.N.U. and he taught Coates a course in elementary number theory during the second semester of his first year of study. ... scholarship and was advised by Kurt Mahler and Hanna Neumann to go to study for his
-
Raymond Smullyan (1919 - 2017) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Smullyan/26 May 2024: some of the deepest paradoxes of logic and set theory, including Gödel's revolutionary theorem of undecidability. ... In 1992 he published Gödel's incompleteness theorems. Smullyan explains in the Preface that he has written the book:-.
-
Emil Post (1897 - 1954) - Biography - MacTutor History of Mathematics
https://mathshistory.st-andrews.ac.uk/Biographies/Post/7 Mar 2023: Gödel. In a postcard written to Gödel in 1938, just after they had met for the first time, Post wrote:-. ... As for any claims I might make perhaps the best I can say is that I would have proved Gödel's Theorem in 1921 - had I been Gödel.
-
András Hajnal (1931 - 2016) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Hajnal/11 Jan 2024: 1956), by András Hajnal and Lásló Kalmár writes:-. It is about the deducibility of axiom B8 from the other axioms of Gödel's axiom system of set theory. ... The present work also describes the development of the axiomatic structure of set theory up
-
Karl Weierstrass (1815 - 1897) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Weierstrass/30 Dec 2023: Born. 31 October 1815. Ostenfelde, Westphalia (now Germany). Died. 19 February 1897. Berlin, Germany. Summary. Karl Weierstrass is best known for his construction of the theory of complex functions by means of power series. . View eight larger
-
Martin Davis (1928 - 2023) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Davis/12 Apr 2024: The existence of absolutely unsolvable problems and the Gödel incompleteness theorem are among the results in the theory of computability which have philosophical significance.
-
Alan Turing (1912 - 1954) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Turing/26 Feb 2024: This course studied Gödel's incompleteness results and Hilbert's question on decidability.
-
Klaus Roth (1925 - 2015) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Roth_Klaus/22 Jan 2024: The school had been founded in 1934 by the German educator Kurt Hahn as a boys' school that would emphasise the development of character in addition to academic excellence.
-
Thoralf Skolem (1887 - 1963) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Skolem/7 Mar 2023: H Wang, Skolem and Gödel, Nordic J. Philos. Logic 1 (2) (1996), 119-132. ... H Wang, Skolem and Gödel, in Mathematics, education and philosophy (London, 1994), 184-193.