[FOM] Hersh on Flyspeck

Jesse Alama 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 mailing list