Sciweavers

MLQ
2002
75views more  MLQ 2002»
13 years 10 months ago
Recursive Approximability of Real Numbers
A real number is recursively approximable if there is a computable sequence of rational numbers converging to it. If some extra condition to the convergence is added, then the limi...
Xizhong Zheng
DMTCS
2003
89views Mathematics» more  DMTCS 2003»
14 years 8 days ago
On the Monotonic Computability of Semi-computable Real Numbers
Let h : N → Q be a computable function. A real number x is h-monotonically computable (h-mc, for short) if there is a computable sequence (xs) of rational numbers which converges...
Xizhong Zheng, George Barmpalias