Do You Trust Computer Mathematicians?

from the prove-they're-wrong dept

A fascinating article in the NY Times looks at the controversy over the publication of a new mathematical proof that relies on some complex computer calculations to prove the theory. Since the computer is needed for such complex calculations, it's incredibly difficult for others to verify that the proof is valid. Many have looked over this particular proof and haven't found anything wrong with it, but they haven't been able to check it all conclusively. The journals that publish such things weren't quite sure what to do - not wanting to publish what could be a very good proof by suggesting that it was somehow less valid because no one was able to effectively review it all. In the end, they came up with something of a compromise solution: the mathematics part was published in a mathematics journal, while the computer part was published elsewhere in a computer science journal. Still, as mathematical proofs become more complex, this problem is going to show up more often. Computers can be helpful in solving some particularly tricky mathematical questions, but it's going to depend on how much people trust the computers to do the math properly.

Reader Comments

Subscribe: RSS

View by: Time | Thread


  • identicon
    dorpus, 6 Apr 2004 @ 1:55am

    Wait till computers reveal medical truths.

    Computers have and will continue to reveal utterly counter-intuitive truths about our health, that neither old wives' tails nor conventional medical research was able to solve. The human immune system is a system of linear equations, differential equations, all rolled into one.

    reply to this | link to this | view in chronology ]


Add Your Comment

Have a Techdirt Account? Sign in now. Want one? Register here



Subscribe to the Techdirt Daily newsletter




Comment Options:

  • Use markdown. Use plain text.
  • Remember name/email/url (set a cookie)

Close

Add A Reply

Have a Techdirt Account? Sign in now. Want one? Register here



Subscribe to the Techdirt Daily newsletter




Comment Options:

  • Use markdown. Use plain text.
  • Remember name/email/url (set a cookie)

Follow Techdirt
Insider Shop - Show Your Support!

Advertisement
Report this ad  |  Hide Techdirt ads
Essential Reading
Techdirt Deals
Report this ad  |  Hide Techdirt ads
Techdirt Insider Chat
Advertisement
Report this ad  |  Hide Techdirt ads
Recent Stories
Advertisement
Report this ad  |  Hide Techdirt ads

Close

Email This

This feature is only available to registered users. Register or sign in to use it.