This chapter develops the basics of calculus in strict finitism. Notions such as limit, convergence, continuity, differentiability, and Riemann integration are introduced, and their basic properties are proved. A case study of demonstrating applicability by reducing to strict finitism is also presented in the last section of this chapter.
KeywordsRational Number Cauchy Sequence Lipschitz Condition Fundamental Theorem Recursive Construction
- 1.Adams, F. 2003. Thoughts and their contents: Naturalized semantics. In The Blackwell guide to the philosophy of mind, eds. S. Stich and F. Warfield, 143–171. Oxford: Basil Blackwell.Google Scholar
- 12.Coddington, E.A., and N. Levinson. 1955. Theory of ordinary differential equations. New York: McGraw-Hill.Google Scholar