算法与证明作为\Omega-不变性与传递性：非标准分析中的一种新计算模型
计算机科学中的逻辑
2014-04-02 v1 逻辑
摘要
我们提出了一种基于非标准分析的新计算模型。直观上，“算法”的角色由一种称为 Omega-不变性（Omega-invariance）的新有限过程概念扮演，该概念源自非标准分析并受物理学启发。此外，“证明”的角色由非标准分析中的传递原理（Transfer Principle）承担。我们在构造性逆向数学中获得了一系列结果，以阐明其与 Errett Bishop 的构造性分析及相关构造性逆向数学之间的紧密对应关系。
引用
@article{arxiv.1404.0080,
title = {Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis},
author = {Sam Sanders},
journal= {arXiv preprint arXiv:1404.0080},
year = {2014}
}
备注
In Proceedings DCM 2012, arXiv:1403.7579