Category Archives: Controversies

The probabilistic proof that 2^400-593 is a prime: a revolutionary new type of mathematical proof, or not a proof at all?

Posted on April 22, 2021 by Gil Kalai

Avi Wigderson gave a great CS colloquium talk at HUJI on Monday (a real auditorium talk with an audience of about 200 people). The title of the talk was The Value of Errors in Proofs – a fascinating journey from … Continue reading →

Posted in Computer Science and Optimization, Controversies, Philosophy, What is Mathematics | Tagged , , | 16 Comments