Skip to main content
Avi Wigderson
Personal
CV
Short 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
‹ Algorithms: a common language for nature, man and computer - Lecture I
up
The Value of Errors in Proofs - the fascinating journey from Turing's 1936 R ≠ RE to the 2020 breakthrough of MIP* = RE ›