Item Type:Book Chapter
Citation:Formalism, Andrew Irvine, Philosophy of Mathematics. Handbook of the Philosophy of Science, Vol. 4, Amsterdam, Elsevier, 2009, 291 - 310, Peter Simons
Formalism.pdf (Published (author's copy) - Peer Reviewed) 191.0Kb
Formalism is a philosophical theory of the foundations of mathematics that had a spectacular but brief heyday in the 1920s. After a long preparation in the work of several mathematicians and philosophers, it was brought to its mature form and prominence by David Hilbert and co-workers as an answer to both the uncertainties created by antinomies at the basis of mathematics and the criticisms of traditional mathematics posed by intuitionism. In this prominent form it was decisively refuted by Godel?s incompleteness theorems, but aspects of its methods and outlook survived and have come to inform the mathematical mainstream. This article traces the gradual assembly of its components and its rapid downfall.
Author: SIMONS, PETER
Other Titles:Philosophy of Mathematics. Handbook of the Philosophy of Science, Vol. 4
Type of material:Book Chapter
Availability:Full text available