Avi Wigderson - The Value of Errors in Proofs

preview_player
Показать описание
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

Рекомендации по теме