EPSILON-CALCULUS.
Abstract
Recursive function theory is used to lay the basis for a partially constructive theory of calculus, which we call the epsilon-calculus. This theory differs from other theories that have grown out of recursive function theory in that (1) it is directly related to the variable-precision computations used in scientific computation today, and (2) it deals explicitly with intermediate results rather than ideal answers. As epsilon approaches zero, intermediate results in the epsilon-calculus approach their corresponding answers in the calculus. Thus we say 'the epsilon-calculus approaches the calculus, as epsilon approaches zero.' It is hoped that investigations in the epsilon-calculus will lead to a better understanding of numerical analysis. Several new results in this direction are presented, concerning instability and also machine numbers. Discrete notions of limit, convergence, continuity, arithmetic, derivative and integral are also presented and analyzed. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 16, 1968
- Accession Number
- AD0673674
Entities
People
- Paul L. Richman
Organizations
- Stanford University