[FOM] Hersh on Flyspeck

[Steven Obua]

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