Time hierarchy theorem
Statement
Computational complexity; DTIME hierarchy. Proved in ZFC.
Source
ACM Turing Award 1993. Computational complexity; DTIME hierarchy. Proved in ZFC.
Domains
computer-science
Computational complexity; DTIME hierarchy. Proved in ZFC.
ACM Turing Award 1993. Computational complexity; DTIME hierarchy. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/hartmanis-turing-1993/