Abel Prize Laureates - Avi Wigderson - The Value of Errors in Proofs

The Value of Errors in Proofs (a fascinating journey from Turing's 1936 seminal R ≠ RE to the 2020 breakthrough of MIP* = RE)

Abstract:
As it happens, both acronyms MIP* and RE represent proof systems, of a very different nature. To explain them, we'll take a meandering journey through the classical and modern definitions of proof. I hope to explain how the methodology of computational complexity theory, especially modeling and classification (both problems and proofs) by algorithmic efficiency, naturally leads to the generation of new such notions and results (and more acronyms, like NP). A special focus will be on notions of proof which allow interaction, randomness, and errors, and their surprising power and magical properties.
The talk does not assume any special mathematical background.

Centrum Wiskunde & Informatica (CWI) is the national research institute for mathematics and computer science in the Netherlands. Founded in 1946, CWI is part of the Institutes Organisation of NWO, NWO-I. While located at Amsterdam Science Park, our institute has strong international links, and we enjoy a global reputation for our innovative research.

[drpradeepkumarsrivastava]

Brilliant famous IITian, brilliant famous Computational fluid Dynamist, brilliant famous Retired Professor of Pure &Applied engineering mathematics Professor(Dr.)pradeep Kumar Srivastava S/o Late Lala Mohan Das & Smt.Saraswati, 100% reality can not be modeled by Scientific existing theories, Computing logic is based on Binary system. From---Brilliant famous applied & mathematician Professor(Dr.)pradeep Kumar Srivastava S/o Late Lala Mohan Das & Smt.Saraswati.

[drpradeepkumarsrivastava]

My self brilliant famous IITian, brilliant famous Computational fluid Dynamist, brilliant famous Retired Professor of Pure &Applied engineering mathematics is an brilliant fertile source of discoveries & inventions ( because I discovered that almost all existing Scientific theories based on mathematical principles require some minor corrections. brilliant famous IITian, brilliant famous Computational fluid Dynamist, brilliant famous Retired Professor of Pure &Applied engineering mathematics Professor(Dr.)pradeep Kumar Srivastava S/o Late Lala Mohan Das & Smt.Saraswati.