On mathematical instrumentalism (Q5718688)
From MaRDI portal
scientific article; zbMATH DE number 2247446
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On mathematical instrumentalism |
scientific article; zbMATH DE number 2247446 |
Statements
On mathematical instrumentalism (English)
0 references
16 January 2006
0 references
Peano arithmetic
0 references
primitive recursive arithmetic
0 references
reverse mathematics
0 references
instrumentalist view of mathematics
0 references
speed-up
0 references
