Skip to main content
Avi Wigderson
Personal
Short Bio
CV
Contact
Interviews & More
Works
Book: Math and Computation
Publications
Talks
Surveys
Efficient Universe
Post-Docs
Students
CSDM
Seminars
Conferences & videos
Optimization, Complexity and Invariant Theory
Avi60
Lens of Computation on the Sciences
Pseudorandomness
You are here
Home
»
Avi Wigderson
»
Talks
The Value of Errors in Proofs - a high level overview
Submitted by
alass
on Mon, 2021-01-25 10:21
Description:
StarkWare Industries, STARK @ Home XVII - January 07, 2021
Abstract:
The Value of Errors in Proofs
File:
Powerpoint
Video
Date:
2021-01-07
The Value of Errors in Proofs - the fascinating journey from Turing's 1936 R ≠ RE to the 2020 breakthrough of MIP* = RE
‹ Cryptography: Secrets and Lies, Knowledge and Trust
up
The Value of Errors in Proofs - the fascinating journey from Turing's 1936 R ≠ RE to the 2020 breakthrough of MIP* = RE ›