Book | Chapter
Why proof? what is a proof?
pp. 1-27
Abstract
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?').
Publication details
Published in:
Lupacchini Rossella, Corsi Giovanna (2008) Deduction, computation, experiment: exploring the effectiveness of proof. Dordrecht, Springer.
Pages: 1-27
DOI: 10.1007/978-88-470-0784-0_1
Full citation:
Celluci Carlo (2008) „Why proof? what is a proof?“, In: R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, 1–27.