论计算时间层次中隐藏机器的存在性
计算机科学中的逻辑
2020-09-03 v1 计算复杂性
逻辑
摘要
挑战可计算函数中标准的总体性概念，可知给定任何足够表达的形式公理化系统，存在总体函数，虽可计算且“直观上”被理解为总体，却无法被证明为总体。在本文中我们表明，这意味着存在无限的时间复杂度类层次，其代表成员对这些形式公理化系统而言是隐藏的（或未知的）。尽管这些类包含总体可计算函数，其中某些函数形式公理化系统无法识别为属于某一时间复杂度类。这导致了关于计算复杂性形式化的不完备性结果。
引用
@article{arxiv.2009.01145,
title = {On the existence of hidden machines in computational time hierarchies},
author = {Felipe S. Abrahão and Klaus Wehmuth and Artur Ziviani},
journal= {arXiv preprint arXiv:2009.01145},
year = {2020}
}