Search

Filter

Results

231. Results that match 1 of 2 words

232. Louis Nirenberg - Nature obituary - MacTutor History of Mathematics

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

     7 Mar 2023: Nirenberg trained with a who's who of twentieth-century mathematics, including his PhD supervisor James Stoker and his mentor Kurt Friedrichs as well as visiting scholars from across Europe, the

233. Earliest Known Uses of Some of the Words of Mathematics (O) -…

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

     7 Mar 2023: Barkley Rosser in "Gödel-Theorems for Non-Constructive Logics (JSL 2 (1937), 129-37), where he alludes to Carnap's "Ein Gültigkeitskriterium für die Sätze der Klassischen Mathematik" (Monatsheffe für Mathematik

234. Set theory - MacTutor History of Mathematics

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

     10 Jul 2023: Gödel showed, in 1940, that the Axiom of Choice cannot be disproved using the other axioms of set theory. ... Many other mathematicians attempted to axiomatise set theory. and Gödel are all important figures in this development.

235. 17th November - MacTutor History of Mathematics

     https://mathshistory.st-andrews.ac.uk/Miscellaneous/messages/11-17/

     7 Mar 2023: On this day in 1930 Kurt Godel's On formally undecidable propositions of Principia Mathematica and related systems was received for publication.

236. Adamson books - MacTutor History of Mathematics

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

     7 Mar 2023: Adamson bases the course on the von Neumann - Bernays - Gödel axioms of set theory (NBG theory) rather than the more familiar Zermelo - Fraenkel (ZF) axioms. ... x. ). P(x). P(x): restricting all bound variables to range only over sets gives the weaker

237. Atiyah papers - MacTutor History of Mathematics

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

     7 Mar 2023: I will say nothing, for example, about the great events in the area between logic and computing associated with the names of people like Hilbert, Gödel, and Turing.

238. C Chevalley: "On Herbrand's thought" - MacTutor History of…

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

     7 Mar 2023: He spent the academic year 1930-1931 in Germany: first in Berlin with von Neumann, where he continued his work in logic, notably comparing his results to those of Gödel; then

239. Earliest Known Uses of Some of the Words of Mathematics (F) -…

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

     7 Mar 2023: FERMAT'S LITTLE THEOREM is found in 1913 in Zahlentheorie by Kurt Hensel: "Für jede endliche Gruppe besteht nun ein Fundamentalsatz, welcher der kleine Fermatsche Satz genannt zu werden pflegt, weil

240. Raymond Smullyan - NY Times Obituary - MacTutor History of Mathematics

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

     7 Mar 2023: It was like fooling a kid into eating his vegetables," Professor Rosenhouse said in a telephone interview, adding, "Raymond took something like Gödel's incompleteness theorems and used a string of

241. Otto Neugebauer - a biographical sketch - MacTutor History of…

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

     7 Mar 2023: G Waldo Dunnington edited a section of the National Mathematics Magazine entitled Humanism and History of Mathematics. In 1936 he gave a biographical sketch of Otto Neugebauer in this section. We should note that Neugebauer was only 36 years old