Thomas Hales
Thomas Hales
case wants word
The word is he's got it. But no one wants to say so in case they're wrong.
applied complex evident peer practices review
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.
came proof sure year
After a year they came back to me and said that they were 99% sure that the proof was correct.
badly computer course problem solve
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.