现实中的计算：科学计算基础
Computing over the Reals: Foundations for Scientific Computing
摘要：
我们给出了一个详细的治疗的“位模型”的可计算性和复杂性的实函数和子集的R^n，并认为这是一个很好的方式来形式化许多问题的科学计算。在引言中，我们还讨论了另一种Blum-Shub-Smale模型。在最后一节中，我们将讨论物理系统是否能够击败丘奇-图灵命题的问题。
英文摘要：
We give a detailed treatment of the ``bit-model'' of computability and complexity of real functions and subsets of R^n, and argue that this is a good way to formalize many problems of scientific computation. In the introduction we also discuss the alternative Blum-Shub-Smale model. In the final section we discuss the issue of whether physical systems could defeat the Church-Turing Thesis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
