article · Defense Technical Information Center (DTIC) · 1984

Computable Real Analysis,

Cited by 1Abstract and details only

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)

Cite this paper

APA 7

MacLennan, B. J. (1984). Computable Real Analysis,. Defense Technical Information Center (DTIC).

MLA 9

MacLennan, Bruce J. “Computable Real Analysis,.” Defense Technical Information Center (DTIC), 1984.

Chicago

MacLennan, Bruce J. 1984. “Computable Real Analysis,.” Defense Technical Information Center (DTIC).

Harvard

MacLennan, B.J. (1984) ‘Computable Real Analysis,’, Defense Technical Information Center (DTIC).

BibTeX

@article{maclennan1984computable,
  title = {{Computable Real Analysis,}},
  author = {MacLennan, Bruce J.},
  journal = {Defense Technical Information Center (DTIC)},
  year = {1984}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.