Learn More
Scientists apply digital computers to perform computations on natural numbers, nite strings, real numbers and more general objects like sets, functions and measures. While computability theory on many countable sets is well established and for computability on the real numbers several (unfortunately mutually non-equivalent) deenitions are being studied, in(More)
In the representation approach to computable analysis (TTE) [Grz55, KW85, Wei00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represented by finite or infinite sequences (Σ * , Σ ω) of symbols, which serve as concrete names. A function on abstract data is called computable , if it can be realized by a(More)