Thomas Hales Quotes (3 Quotes)

The word is he's got it. But no one wants to say so in case they're wrong.

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.

The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.