The Phenomenology of Mathematical Proof

Abstract

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...