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
Reference and computation
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.


