發送短信: Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards.