25 citations · 126 across the 37 of their papers we have counts for
1 paper · 2 filters
Andrzej Pelc
We investigate the reasons of having confidence in mathematical theorems. The formalist point of view maintains that formal derivations underlying proofs, although usually not carr…