by
Patrick Caldon
,
Ar Ignjatović

Citations: | 1 - 0 self |

@MISC{Caldon05onmathematical,

author = {Patrick Caldon and Ar Ignjatović},

title = {On Mathematical Instrumentalism},

year = {2005}

}

In this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peano’s Arithmetic known as IΣ1 is a conservative extension of the equational theory of Primitive Recursive Arithmetic (P RA), IΣ1 has a super-exponential speed-up over P RA. On the other hand, theories studied in the Program of Reverse Mathematics that formalize powerful mathematical principles have only polynomial speed-up over IΣ1. 1

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2013 The Pennsylvania State University