Mathematical instrumentalism, Godel's theorem, and inductive evidence
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...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2011
|