[FOM] Hersh on Flyspeck

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