No. 50 (2003): RS-50 A Two-Layer Approach to the Computability and Complexity of Real Numbers