📖 On 9/18 at #HLF25, Avi Wigderson (#ACMTuringAward) will give the lecture: “The Value of Errors in Proofs: The Fascinating Journey From Turing’s 1936 R ≠ RE to the 2020 Breakthrough of MIP* = RE" In 2020, the result MIP* = RE shook computational complexity—and even rippled into math and physics. Wigderson traces this surprising journey, exploring how our understanding of proofs has evolved from Turing’s time to today. 🔗 https://buff.ly/See9yTe #HLF25 #TuringAward #ComplexityTheory #Mathematics
