2014/11/17 by Andrzej Pelc, Pelc, Andrzej
Mathematics · Social Sciences · #03A05 #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO) #Mathematics Education and Teaching Techniques #Statistics Education and Methodologies
paper · pdf · doi:10.48550/arxiv.1411.4857
openalex publication_date 2014/11/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We investigate the reasons of having confidence in mathematical theorems. The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to this confidence. Opposing this opinion, the main claim of the present paper is that such a gain of confidence obtained from any link between proofs and formal derivations is, even in principle, impossible in the present state of knowledge. Our argument is based on considerations concerning length of formal derivations. We also discuss psychological and social factors that contribute to building belief in theorems.