Scifaro

中文

实数计算：科学计算的基础

计算复杂性 2007-05-23 v1 计算机科学中的逻辑

作者: Mark Braverman , Stephen Cook

在 arXiv 上查看 ↗ PDF ↗

摘要

我们对实函数和 R^n 子集的可计算性与复杂度的“位模型”进行了详细论述，并论证这是一个正式化科学计算许多问题的好方法。在导言中，我们还讨论了备选的 Blum-Shub-Smale 模型。在最后一节中，我们讨论了物理系统是否可能超越图灵完备性命题。

关键词

实数计算位模型可计算性复杂度 Blum-Shub-Smale 模型图灵完备性命题

引用

@article{arxiv.cs/0509042,
  title  = {Computing over the Reals: Foundations for Scientific Computing},
  author = {Mark Braverman and Stephen Cook},
  journal= {arXiv preprint arXiv:cs/0509042},
  year   = {2007}
}