Accession Number:

ADA149079

Title:

Computable Real Analysis,

Descriptive Note:

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1984-12-01

Pagination or Media Count:

84.0

Abstract:

We present a model of the real numbers that is completely finitistic. Every real number is represented by a finite structure-specifically, a finite sequence of symbols from a finite alphabet. All of the arithmetic operations on reals are also finite and can be evaluated on a computer. We allow nothing that cannot be described by a finite algorithm-whether numbers or sequences or functions. This development is carried through the fundamental theorem of calculus. Author

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE