[FOM] Mathematical Certainty Problem

[John T. Baldwin]

I am reposting Leo Marcus's note because I think many readers, those as 
uniformed as I, may have missed the
significance.  Hale's proof involves extensive computer checking.  The 
paper has been accepted by the Annals
(with an asterisk).  Hales is  organizing a project for further 
 computer work.

Leo Marcus wrote:

>For a popular exposition of some relevant issues,
>see  the article in Nature about Hales' proof of the
>Kepler Conjecture:
>
>
>
>http://www.nature.com/cgi-taf/DynaPage.taf?file=/nature/journal/v424/n6944/full/424012a_fs.html
>
>_______________________________________________
>FOM mailing list
>FOM at cs.nyu.edu
>http://www.cs.nyu.edu/mailman/listinfo/fom
>  
>