Proof — Goldreich–Levin theorem
Statement
Hard-core predicates; PCP; property testing. Proved in ZFC.
Source
Donald E. Knuth Prize 2017. Hard-core predicates; PCP; property testing. Proved in ZFC.
Domains
computer-science
Hard-core predicates; PCP; property testing. Proved in ZFC.
Donald E. Knuth Prize 2017. Hard-core predicates; PCP; property testing. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/goldreich-knuth-2017/