Teaching computability theory with a “real” language
Reference
Index Terms
- Teaching computability theory with a “real” language
Recommendations
A computability theory of real numbers
CiE'06: Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational BarriersIn mathematics, various representations of real numbers have been investigated. Their standard effectivizations lead to equivalent definitions of computable real numbers. For the primitive recursive level, however, these effectivizations are not ...
On a relative computability notion for real functions
CiE'11: Proceedings of the 7th conference on Models of computation in context: computability in EuropeFor any class of total functions in the set of natural numbers, we define what it means for a real function to be conditionally computable with respect to this class. This notion extends a notion of relative uniform computability of real functions ...
Real Number Computability and Domain Theory
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substantiated by these definitions and we give a definition of computability for ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 200Total Downloads
- Downloads (Last 12 months)14
- Downloads (Last 6 weeks)5
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in