Sister blog of Physicists of the Caribbean in which I babble about non-astronomy stuff, because everyone needs a hobby

Friday, 15 August 2014

Overly objective

""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/

1 comment:

  1. Refereeing is something most of us wouldn't mind seeing automated...

    ReplyDelete

Due to a small but consistent influx of spam, comments will now be checked before publishing. Only egregious spam/illegal/racist crap will be disapproved, everything else will be published.

Review/Rant : Andor

When Andor first came out I gave up after about twenty minutes. I enjoyed Rogue One a great deal, but I didn't feel the need for Cassi...