Computability in analysis and physics - Pour-El, Marian B. (Springer Verlag, 1989)