Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10118902 | Annals of Pure and Applied Logic | 2005 | 20 Pages |
Abstract
We consider two classical computability notions for functions mapping all computable real numbers to computable real numbers. It is clear that any function that is computable in the sense of Markov, i.e., computable with respect to a standard Gödel numbering of the computable real numbers, is computable in the sense of Banach and Mazur, i.e., it maps any computable sequence of real numbers to a computable sequence of real numbers. We show that the converse is not true. This solves a long-standing open problem posed by Kushner.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Peter Hertling,