""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)
-
Hmmm. [The comments below include a prime example of someone claiming they're interested in truth but just want higher standard, where...
-
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... -
I've noticed that some people care deeply about the truth, but come up with batshit crazy statements. And I've caught myself rationa...
Refereeing is something most of us wouldn't mind seeing automated...
ReplyDelete