S De Toffoli - The Philosophical Quarterly, 2021 - academic.oup.com
According to the received view, genuine mathematical justification derives from proofs. In
this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to …