[FOM] Hersh on Flyspeck

[Jesse Alama]

"Timothy Y. Chow" <tchow at alum.mit.edu> writes:

> 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.

Apropos not of FLYSPECK, but rather of Hersh's book: an interesting
review of _18 Unconventional Essays on the Nature of Mathematics_ by
Edward Nelson appeared in the November 2007 issue of the American
Mathematical Monthly (volume 113, number 9).

Jesse

-- 
Jesse Alama (alama at stanford.edu)