Repository | Book | Chapter

COPR BookmarkLink
181251

(2008) Deduction, computation, experiment, Dordrecht, Springer.

Why proof? what is a proof?

Carlo Celluci

pp. 1-27

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

DOI: 10.1007/978-88-470-0784-0_1

Full citation:

Celluci, C. (2008)., Why proof? what is a proof?, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 1-27.

This document is unfortunately not available for download at the moment.