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/The%20Value%20of%20Errors%20in%20Proofs%20ab…
File: 
Powerpoint
Video
Powerpoint
Video
Date: 
2021-03-01