Thomas Hales
Thomas Hales
applied complex evident peer practices review
The shortcomings of traditional practices of peer review become evident when applied to complex computer-assisted proofs.
case wants word
The word is he's got it. But no one wants to say so in case they're wrong.
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.