Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
A Computability Theory of Real Numbers

Speaker: Xizhong Zheng


In mathematics, various representations of real numbers have been
Their standard effectivizations lead to equivalent definitions of
real numbers. For the primitive recursive level, however,  these
effectivizations are not equivalent any more. Similarly, if the weaker
computability is considered, we usually obtain different weak
notions of reals according to different representations of real number. In
paper we summarize several recent results about weak computability of real
numbers and their hierarchies. 

websites: Arnold Beckmann 2006-04-20