[FOM] Are proofs in mathematics based on sufficient evidence?
m@pavis.biodec.com
m at pavis.biodec.com
Fri Jul 9 07:07:56 EDT 2010
* Martin Davis (eipye at pacbell.net) [100709 02:21]:
>
> That's where computers come usefully into play as
> much current research shows (despite the prognostications of R.A. de
> Millo, R.J. Lipton and A.J. Perlis).
>
More on the discussion started by R.A. de Millo, R.J. Lipton and A.J.
Perlis can be found here:
Social processes, program verification and all that
ANDREA ASPERTI, HERMAN GEUVERS and RAJA NATARAJAN
Mathematical Structures in Computer Science , Volume 19 , Issue 05 , Oct
2009 , pp 877-896
or directly there: http://www.cs.unibo.it/~asperti/PAPERS/social.pdf
--
.*. finelli
/V\
(/ \) --------------------------------------------------------------
( ) Linux: Friends dont let friends use Piccolosoffice
^^-^^ --------------------------------------------------------------
This page intentionally left blank.
More information about the FOM
mailing list