Starting Year: 2013
Title: The notion of mathematical proof
Abstract: In this project, we review the current state of the notion of mathematical proof, with special emphasis on recent developments on probabilistic proofs and computerassisted proofs. The principle goal is to obtain a better philosophical understanding of the nature of proofs in general, and computerized proofs in particular.
Funding Source: FCT – Fundação para a Ciência e a Tecnologia, I.P.
Typology: R&D Project
Reference: PTDC/MHC-FIL/5363/2012
Principal Investigator (PI): Reinhard Kahle
PI’s institution: FCT NOVA
NOVA Math members involved:
