Why proof? what is a proof?
pp. 1-27
in: Rossella Lupacchini, Giovanna Corsi (eds), Deduction, computation, experiment, Berlin, Springer, 2008Abstract
This paper is concerned with real proofs as opposed to formal proofs, and specifically with the ultimate reason of real proofs ("Why Proof?') and with the notion of real proof ("What is a Proof?').