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 ›