Blum axioms
Statement
Axiomatic complexity theory; program checking; cryptography. Proved in ZFC.
Source
ACM Turing Award 1995. Axiomatic complexity theory; program checking; cryptography. Proved in ZFC.
Domains
computer-science
Axiomatic complexity theory; program checking; cryptography. Proved in ZFC.
ACM Turing Award 1995. Axiomatic complexity theory; program checking; cryptography. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/blum-turing-1995/