Mathematical instrumentalism, Godel's theorem, and inductive evidence

Journal article

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel's second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical instrumentalism are defeated by Gödel's theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. © 2010 Elsevier Ltd.

Authors: Paseau, A

• Publication status: Published
• Journal: STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE
• Volume: 42
• Issue: 1
• Pages: 140-149
• Publication date: 2011-03-01
• DOI: 10.1016/j.shpsa.2010.11.030
• EISSN: 1879-2510
• ISSN: 0039-3681
• Language: English
• Keywords: Non-deductive methods; Hilbert's philosophy of mathematics; Mathematical instrumentalism; Induction and deduction; Godel's second incompleteness theorem; Consistency; Hilbert's Programme; Hilbert's Program