[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