Part of the Synthese Library book series (SYLI, volume 355)


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.


Rational Number Cauchy Sequence Lipschitz Condition Fundamental Theorem Recursive Construction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 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
  2. 2.
    Avigad, J., and S. Feferman. 1998. Gödel’s functional (“dialetica”) interpretation. In Handbook of proof theory, ed. S.R. Buss, 337–405. Amsterdam, The Netherlands: Elsevier.CrossRefGoogle Scholar
  3. 6.
    Bishop, E., and D.S. Bridges. 1985. Constructive analysis. New York: Springer.CrossRefGoogle Scholar
  4. 12.
    Coddington, E.A., and N. Levinson. 1955. Theory of ordinary differential equations. New York: McGraw-Hill.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of PhilosophyPeking UniversityBeijingP. R. China

Personalised recommendations