Journal article icon

Journal article

Mathematical instrumentalism, Godel's theorem, and inductive evidence

Abstract:

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 elem...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1016/j.shpsa.2010.11.030

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, HUM, Philosophy, Philosophy Postholders
Journal:
STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE
Volume:
42
Issue:
1
Pages:
140-149
Publication date:
2011-03-05
DOI:
EISSN:
1879-2510
ISSN:
0039-3681
URN:
uuid:296333aa-775a-4dc9-a192-51ab94400f1b
Source identifiers:
146465
Local pid:
pubs:146465

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP