filmov
tv
Avi Wigderson - The Value of Errors in Proofs

Показать описание
Colloquium online lecture by Avi Wigderson (Princeton , Institute for Advanced Study), Apr 19, 2021, at The School of Computer Science and Engineering, The Hebrew University.
The Value of Errors in Proofs - a fascinating journey from Turing's 1936 seminal R ≠\neq RE to the 2020 breakthrough of MIP* = RE
The Value of Errors in Proofs - a fascinating journey from Turing's 1936 seminal R ≠\neq RE to the 2020 breakthrough of MIP* = RE