Repository | Book | Chapter
(1997) Indiscrete thoughts, Dordrecht, Springer.
Everybody knows what a mathematical proof is. A proof of a mathematical theorem is a sequence of steps which leads to the desired conclusion. The rules to be followed in this sequence of steps were made explicit when logic was formalized early in this century and they have not changed since. These rules can be used to disprove a putative proof by spotting logical errors; they cannot, however, be used to find the missing proof of a mathematical conjecture.
Publication details
DOI: 10.1007/978-0-8176-4781-0_11
Full citation:
Rota, (1997). The phenomenology of mathematical proof, in Indiscrete thoughts, Dordrecht, Springer, pp. 134-150.
This document is unfortunately not available for download at the moment.