当前位置:
X-MOL 学术
›
arXiv.cs.CC
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
A Formal Axiomatization of Computation
arXiv - CS - Computational Complexity Pub Date : 2019-07-04 , DOI: arxiv-1907.03533 Rasoul Ramezanian
arXiv - CS - Computational Complexity Pub Date : 2019-07-04 , DOI: arxiv-1907.03533 Rasoul Ramezanian
We introduce an axiomatization for the notion of computation. Based on the
idea of Brouwer choice sequences, we construct a model, denoted by $E$, which
satisfies our axioms and $E \models \mathrm{ P \neq NP}$. In other words,
regarding "effective computability" in Brouwer intuitionism viewpoint, we show
$\mathrm{ P \neq NP}$.
中文翻译:
计算的正式公理化
我们引入了计算概念的公理化。基于 Brouwer 选择序列的思想,我们构建了一个模型,用 $E$ 表示,它满足我们的公理和 $E \models \mathrm{ P \neq NP}$。换句话说,关于 Brouwer 直觉主义观点中的“有效可计算性”,我们展示了 $\mathrm{ P \neq NP}$。
更新日期:2020-01-22
中文翻译:
计算的正式公理化
我们引入了计算概念的公理化。基于 Brouwer 选择序列的思想,我们构建了一个模型,用 $E$ 表示,它满足我们的公理和 $E \models \mathrm{ P \neq NP}$。换句话说,关于 Brouwer 直觉主义观点中的“有效可计算性”,我们展示了 $\mathrm{ P \neq NP}$。