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/
at
Labels: ,

1 comment:

  1. Robert Minchin15 August 2014 at 15:53

    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.

Subscribe to: Post Comments (Atom)

Review : Epic Greek Myths (II)

Welcome back to part two of What Some Nerd Thinks About Greek Mythology. In part one I looked at the differences between a selection of var...

  • A war on science or just people being unscientific ?
    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
    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...
  • On the Powerwall
    "The price quoted by Tesla does not include installation of the unit. To this needs to be added the cost of installing solar panels to ...