Volle Referenz:

Gian-Carlo Rota, "The phenomenology of mathematical proof", Synthese 111 (2), 1997, pp. 183-196.