"The notion of mathematical proof" (2013-2015)

In this project, we review the current state of the notion of mathematical proof, with special emphasis on recent developments on probabilistic proofs and computer­assisted proofs. The principle goal is to obtain a better philosophical understanding of the nature of proofs in general, and computerized proofs in particular.