Search
Filter
Results
Results that match 1 of 2 words
-
Peter Lax (1926 - ) - Biography - MacTutor History of Mathematics
https://mathshistory.st-andrews.ac.uk/Biographies/Lax_Peter/7 Mar 2023: Kurt Friedrichs had been his thesis advisor. Lax then returned to Los Alamos to spend 1950 working at the Scientific Laboratory as a Staff Member on the Manhattan Project ([9] and
-
John Shepherdson (1926 - 2015) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Shepherdson/7 Mar 2023: there would be no intrinsic difficulty in carrying out all the proofs in an axiomatic system of set-theory of thetype, such as that set out by Gödel. ... This method has been applied to axiom systems for set theory by many authors, includingand more
-
Robert Remak (1888 - 1942) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Remak/7 Mar 2023: M Emmer, Murdered by the Nazis: Robert Remak (188-1942) and Kurt Grelling (1886-1942), in Mathematics and Culture I (Springer, New York, 2004), 58-59.
-
Paul Dubreil (1904 - 1994) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Dubreil/7 Mar 2023: At this time, he also metwho was Edmund Landau's assistant), Kurt Mahler and Helmut Ulm (1908-1975).
-
Ismail Mohamed (1930 - 2013) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Mohamed/7 Mar 2023: in Mathematics in Group Theory at University of London. His thesis was entitled On Series of Subgroups Related to Groups of Automorphisms, and his thesis advisor had been Kurt Hirsch.
-
Alberto Dou (1915 - 2009) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Dou/2 Jun 2023: 1968), El teorema de incomplitud de Gödel.
-
Hitoshi Kumano-Go (1935 - 1982) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Kumano-Go/7 Mar 2023: Born. 4 October 1935. Arita, Wakayama Prefecture, Japan. Died. 24 August 1982. Osaka, Japan. Summary. Hitoshi Kumano-Go was a Japanese mathematician who specialised in partial differential equations. . View one larger picture. Hitoshi Kumano-Go was
-
Carol Karp (1926 - 1972) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Karp/7 Mar 2023: Basically Karp wanted to return to Gödel's original proof-theoretic definitions of recursive sets but of course using more liberal notions of proof so as to obtain generalisations of recursion
-
Eustachy Żyliński (1889 - 1954) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Zylinski/7 Mar 2023: In this paper he extended results published earlier by Kurt Hensel.
-
Brian Hartley (1939 - 1994) - Biography - MacTutor History of…
https://mathshistory.st-andrews.ac.uk/Biographies/Hartley/7 Mar 2023: Kurt Hirsch wrote in a review that:-. All the proofs are given by explicit constructions, some of them quite ingenious.