The word is he's got it. But no one wants to say so in case they're wrong.
More Quotes from Thomas Hales:
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.Thomas Hales
If you want to solve a problem badly enough and you can do with a computer what you can't do without a computer then of course you'll use it.
Thomas Hales
Readers Who Like This Quotation Also Like:
I guess, we were people who just dedicated to trying to get better.Geddy Lee
The best way to be boring is to leave nothing out.
Voltaire
Man is still the greatest miracle and the greatest problem on this earth.
David Sarnoff