Scifaro

中文

Church-Turing论题中的混淆

计算机科学中的逻辑 2014-11-07 v2 编程语言

作者: Barry Jay , Jose Vergara

在 arXiv 上查看 ↗ PDF ↗

摘要

Church-Turing论题混淆了数值计算和符号计算。特别是，任何等式不可定义的可计算模型（例如作为高级编程语言基础的无类型λ模型）都与图灵模型不等价。然而，一种现代的组合演算——SF演算，能够定义其封闭正规形式的等式，因此产生了一个与图灵模型等价的模型。这对编程语言设计具有深远的意义。

关键词

Church-Turing论题数值计算符号计算 λ模型 SF演算编程语言设计

引用

@article{arxiv.1410.7103,
  title  = {Confusion in the Church-Turing Thesis},
  author = {Barry Jay and Jose Vergara},
  journal= {arXiv preprint arXiv:1410.7103},
  year   = {2014}
}