On the existence of hidden machines in computational time hierarchies

zbMATH Open1496.03164arXiv2009.01145MaRDI QIDQ5100769FDOQ5100769

Artur Ziviani, Klaus Wehmuth, Felipe S. Abrahão

Publication date: 1 September 2022

Abstract: Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total, cannot be proved to be total. In this article we show that this implies the existence of an infinite hierarchy of time complexity classes whose representative members are hidden from (or unknown by) the respective formal axiomatic systems. Although these classes contain total computable functions, there are some of these functions for which the formal axiomatic system cannot recognize as belonging to a time complexity class. This leads to incompleteness results regarding formalizations of computational complexity.

Full work available at URL: https://arxiv.org/abs/2009.01145

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication: On the existence of hidden machines in computational time hierarchies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100769)