Deutsche Gesellschaft
für phänomenologische Forschung


Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Buch | Kapitel

187974

Reference and computation

Johan G. Granström

pp. 77-106

Abstrakt

In the early history of computation, one finds algorithms like the Babylonian algorithm for the approximation of square roots, Archimedes' algorithm for the approximation of π, Euclid's algorithm for computing the greatest common divisor of two numbers, al-Khwārizmī's algorithms, etc. All these modes of computation, or algorithms, have in common that they produce a result for every conceivable input. In fact, it is safe to assume that the ancients would view an algorithm as erroneous if it did not always produce a result. Dirichlet's much debated pathological function ϕ was the first function in conflict with this classical notion of algorithm.

Publication details

Published in:

Granström Johan G. (2011) Treatise on intuitionistic type theory. Dordrecht, Springer.

Seiten: 77-106


Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496

DOI: 10.1007/978-94-007-1736-7_4

Referenz:

Granström Johan G. (2011) Reference and computation, In: Treatise on intuitionistic type theory, Dordrecht, Springer, 77–106.