projects
Detail
Publication date: 1 de June, 2021The Notion of Mathematical Proof
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.
| Sname | NotionProof |
|---|---|
| Funding Total | 71.690,00 |
| Funding Center | 71.690,00 |
| State | Concluded |
| Startdate | 01/06/2013 |
| Enddate | 31/05/2015 |