[FOM] Hersh on Flyspeck
alama at stanford.edu
Tue Jan 15 01:14:34 EST 2008
"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 Alama (alama at stanford.edu)
More information about the FOM