Search

Filter

Results

191. Results that match 1 of 2 words

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

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

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

195. 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).

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

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

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

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

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

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