The Value of Errors in Proofs (a fascinating journey from Turing’s 1936 R != RE to the 2020 breakthrough of MIP* = RE )
Avi Wigderson | Herbert H. Maass Professor, School of Mathematics, Institute for Advanced Study, PrincetonThe Value of Errors in Proofs (a fascinating journey from Turing’s 1936...