Derandomization
Statement
PCP; expanders; randomness in computation. Proved in ZFC.
Source
ACM Turing Award 2023. PCP; expanders; randomness in computation. Proved in ZFC.
Domains
computer-science
PCP; expanders; randomness in computation. Proved in ZFC.
ACM Turing Award 2023. PCP; expanders; randomness in computation. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/wigderson-turing-2023/