Buch | Kapitel
Why proof? what is a proof?
pp. 1-27
Abstrakt
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.
Seiten: 1-27
DOI: 10.1007/978-88-470-0784-0_1
Referenz:
Celluci Carlo (2008) „Why proof? what is a proof?“, In: R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, 1–27.