[HM] Proofs and the computer

Emmanuel Attard Cassar (manatcas@nextgen.net.mt)
Tue, 8 Jun 1999 22:52:52 +0200

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Samuel S. Kutler: "Re: [HM] Hjelmslev Transformation"
Previous message: Robert Tragesser: "[HM] Hjelmslev-naturliche Geometrie"
Next in thread: Samuel S. Kutler: "Re: [HM] Proofs and the computer"

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

My friends, any ideas?

Emmanuel Attard Cassar

Next message: Samuel S. Kutler: "Re: [HM] Hjelmslev Transformation"
Previous message: Robert Tragesser: "[HM] Hjelmslev-naturliche Geometrie"
Next in thread: Samuel S. Kutler: "Re: [HM] Proofs and the computer"