The Value of Errors in Proofs - the fascinating journey from Turing's 1936 R ≠ RE to the 2020 breakthrough of MIP* = RE

Submitted by alass on Mon, 2021-03-15 19:10
Description: 
Institute for Advanced Study, Princeton, NJ - March 1, 2021; Heidelberg Laureate Forum, Lausanne, CH - Sept 20, 2021
Abstract: 
https://www.math.ias.edu/~avi/TALKS/Members%20Seminar%20Abstract%20March_2021.pd…
File: 
Powerpoint
Video
Powerpoint
Video
Date: 
2021-03-01