filmov
tv
CS Colloquium: Professor Avi Wigderson on: 'The Value of Errors in Proofs'
Показать описание
CS Colloquium: Professor Avi Wigderson on: "The Value of Errors in Proofs - a fascinating journey from Turing's 1936 R ≠ RE to the 2020 breakthrough of MIP* = RE"