The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » Inactive » Historia-Matematica

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Re: [HM] Proofs and the computer
Replies: 7   Last Post: Jun 10, 1999 9:52 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Michael Deakin

Posts: 64
Registered: 12/3/04
Re: [HM] Proofs and the computer
Posted: Jun 9, 1999 1:57 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

My understanding is that Frank Allaire, using a different programme,
and allegedly a simpler one, reproduced the result by Haken, Appell &

Mike D

> You wrote

> > The famous 4-colour problem took more or less a hundred years to
> > be "solved" after several intelligent and creative attempts.
> > However, the "proof" required the helping hand of the computer.
> > I once heard the question "How are we to prove the correctness of
> > the program?"

> We can't prove its correctness, but think of Wiles's proof of Fermat's Last
> Theorem:
> How can we prove its correctness?
> We've had fine number theorists go over it with a metaphorical fine-toothed
> comb.
> With the 4 color program, perhaps the most effective way is to have a new
> team of programmers under the direction of mathematicians re-program it
> from scratch to try to obtain the same result.
> Best wishes,
> Sam Kutler

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.