Search results
Results from the WOW.Com Content Network
This appears as On Undecidable Propositions of Formal Mathematical Systems (Davis 1965:39ff) and represents the lectures as transcribed by Stephen Kleene and J. Barkley Rosser while Gödel delivered them at the Institute for Advanced Study in Princeton, New Jersey in 1934. Two pages of errata and additional corrections by Gödel were added by ...
The thesis was completed at Princeton under Alonzo Church and was a classic work in mathematics that introduced the concept of ordinal logic. [ 3 ] Martin Davis states that although Turing's use of a computing oracle is not a major focus of the dissertation, it has proven to be highly influential in theoretical computer science , e.g. in the ...
Gödel then studied number theory, but when he took part in a seminar run by Moritz Schlick which studied Bertrand Russell's book Introduction to Mathematical Philosophy, he became interested in mathematical logic. According to Gödel, mathematical logic was "a science prior to all others, which contains the ideas and principles underlying all ...
The Princeton Mathematics Community in the 1930s: An Oral-History Project, transcript number 5. Rota, Gian-Carlo, Fine Hall in its golden age: Remembrances of Princeton in the early fifties. In A Century of Mathematics in America, Part II, edited by Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, pp. 223–226.
The Princeton Companion to Mathematics is a book providing an extensive overview of mathematics that was published in 2008 by Princeton University Press. Edited by Timothy Gowers with associate editors June Barrow-Green and Imre Leader , it has been noted for the high caliber of its contributors.
Edward Nelson (May 4, 1932 – September 10, 2014) was an American mathematician. He was professor in the Mathematics Department at Princeton University.He was known for his work on mathematical physics and mathematical logic.
A mathematical logic without variables by John Barkley Rosser, Univ. Diss. Princeton, NJ 1934, p. 127–150, 328–355; Logic for mathematicians by John B. Rosser ...
Stephen Cole Kleene (/ ˈ k l eɪ n i / KLAY-nee; [a] January 5, 1909 – January 25, 1994) was an American mathematician.One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer ...