""This technology cuts the mathematical referees out of the verification process," says Hales. "Their opinion about the correctness of the proof no longer matters."
Well, there's a philosophical can of worms. Does a computer's proof count ?
https://www.newscientist.com/article/dn26041-proof-confirmed-of-400-year-old-fruit-stacking-problem/
Subscribe to:
Post Comments (Atom)
-
Of course you can prove a negative. In one sense this can be the easiest thing in the world : your theory predicts something which doesn...
-
Where Americans think Ukraine is These are the guesses of 2066 Americans as to where Ukraine is. Only 1 in 6 were correct. Presumably the... -
Hmmm. [The comments below include a prime example of someone claiming they're interested in truth but just want higher standard, where...
Refereeing is something most of us wouldn't mind seeing automated...
ReplyDelete