Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

NotionProof - The Notion of Mathematical Proof

Project information

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.

Ongoing since June 1st 2013, concludes in November 30 2015.


Participating entity: Declarativa.


Funding entity: Fundação Ciência e Tecnologia (MCTES).

Reference: PTDC/MHC­FIL/5363/2012

Funding: 71.690,00.


Principal researchers: Reinhard Kahle, Gregory Wheeler.

Researcher: Jesse Alama.

Funding: 71.690,00.

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541