Exploring Randomness
Notices of the AMS 48 (9):992-6 (2001)
| Abstract | In the early twentieth century two extremely influential research programs aimed to establish solid foundations for mathematics with the help of new formal logic. The logicism of Gottlob Frege and Bertrand Russell claimed that all mathematics can be shown to be reducible to logic. David Hilbert and his school in turn intended to demonstrate, using logical formalization, that the use of infinistic, set-theoretical methods in mathematics—viewed with suspicion by many—can never lead to finitistically meaningful but false statements and is thus safe. This came to be known as Hilbert’s program. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesVolker Peckhaus (1995). Hilberts Logik. Von der Axiomatik Zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Stewart Shapiro (2005). Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-Mathematics. Philosophia Mathematica 13 (1):61-77.
C. S. Calude & G. J. Chaitin (1999). Randomness Everywhere. Nature 400:319-320.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
Patricia Blanchette, The Frege-Hilbert Controversy. The Stanford Encyclopedia of Philosophy.
Wilfried Sieg (1999). Hilbert's Programs: 1917-1922. Bulletin of Symbolic Logic 5 (1):1-44.
Paolo Mancosu (1999). Between Russell and Hilbert: Behmann on the Foundations of Mathematics. Bulletin of Symbolic Logic 5 (3):303-330.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads3 ( #201,930 of 549,084 )Recent downloads (6 months)1 ( #63,317 of 549,084 )How can I increase my downloads? |
My notes
Discussion
