計算可能数
https://books.google.com/books?id=KqeXZ4pPd5QC&pg=PA363
Weihrauch, Klaus (2000). Computable analysis. Texts in Theoretical Computer Science. Springer. ISBN 3-540-66817-9 §1.3.2 introduces the definition by nested sequences of intervals converging to the singleton real. Other representations are discussed in §4.1.
Weihrauch, Klaus (1995). A simple introduction to computable analysis. Fernuniv., Fachbereich Informatik. http://eccc.uni-trier.de/static/books/A_Simple_Introduction_to_Computable_Analysis_Fragments_of_a_Book/
Aberth, Oliver (1968). “Analysis in the Computable Number Field”. Journal of the Association for Computing Machinery 15 (2): 276–299 . doi:10.1145/321450.321460. This paper describes the development of the calculus over the computable number field.
Bishop, Errett; Bridges, Douglas (1985). Constructive Analysis. Springer. ISBN 0-387-15066-8
Stoltenberg-Hansen, V.; Tucker, J.V. (1999). “Computable Rings and Fields”. In Griffor, E.R.. Handbook of Computability Theory. Elsevier. pp. 363–448. ISBN 978-0-08-053304-9.