[FOM] Hersh on Flyspeck

Steven Obua obua at in.tum.de
Mon Jan 14 00:53:38 EST 2008


Timothy Y. Chow wrote:

>In the introduction to his delightful anthology, "18 Unconventional Essays 
>on the Nature of Mathematics," Reuben Hersh states, regarding the Flyspeck 
>project of Thomas Hales, that he does not know anyone who {either believes 
>that the project will be completed or that, even if claimed to be 
>complete, it will be universally accepted as definitively verifying the 
>correctness of the proof}.
>  
>
I dont know where the brackets in the above statement are :-) If they 
are were I indicated them with curly brackets, then hopefully Reuben 
Hersh reads FOM.
Because I believe both that the project will be completed and that it 
will be universally accepted as definitively verifying the correctness 
of the proof.

Best,

Steven Obua


More information about the FOM mailing list