Author:
Caldon Patrick,Ignjatović Aleksandar
Abstract
AbstractIn 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 Peanos Arithmetic known as IΣ1 is a conservative extension of the equational theory of Primitive Recursive Arithmetic (PRA). IΣ1 has a super-exponential speed-up over PRA. 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.
Publisher
Cambridge University Press (CUP)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ramsey’s theorem for pairs, collection, and proof size;Journal of Mathematical Logic;2023-05-31
2. TRUTH AND FEASIBLE REDUCIBILITY;The Journal of Symbolic Logic;2019-09-20
3. On Relating Theories: Proof-Theoretical Reduction;Mathesis Universalis, Computability and Proof;2019
4. Mathematics and Set Theory:;Journal of the Japan Association for Philosophy of Science;2018
5. THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC;The Review of Symbolic Logic;2017-02-20