NATURVIDENSKABELIGT SELSKAB PÅ FYN
Onsdag 6. marts 2002 kl. 19.30 på Odense Universitet, auditorium U100.
Lektor Bjarne Toft, Institut for Matematik og Datalogi, SDU, Odense.

Fire Farve Problemet - løst af en computer?

Kan ethvert landkort, vi kan forestille os, altid farves med fire farver ?

Ved farvningen skal hvert land have en af de fire farver, og lande som grænser op til hinanden skal altid have forskellige farver.

Problemet fangede matematikernes interesse omkring 1850. Mange løsninger så dagens lys i årenes løb, men de viste sig alle at være behæftede med alvorlige fejl. Endelig i 1976 annoncerede to amerikanske matematikere, Haken og Appel, at de ved hjælp af omfattende computer-beregninger havde vist, at fire farver altid er nok. Men igen viste løsningen sig at være kontroversiel, både matematisk og filosofisk. Diskussionerne siden, specielt en indsats af tre andre amerikanere, Robertson, Seymour og Thomas, har ført tilopfattelsen af, at problemet nu er fuldstændig løst.

Foredraget omhandler problemets historie og tragedierne og triumferne i dets kølvand.

Vi skal diskutere det filosofiske problem om computerkørsler kan accepteres som dele af matematiske beviser.

Og endelig skal vi se på argumenterne for, at vi nu er nået til vejs ende med dette drilagtige problem. Eller er vi ?

Udvalgte links:

Fire farve problemet på The MacTutor History of Mathematics archive
Foredragsholderens hjemmeside      Institutets hjemmeside     Næste foredrag

Til forsiden     
NATURVIDENSKABELIGT SELSKAB PÅ FYN Formand: Vibeke Dorch Lauritsen. Tlf. 66 14 50 36.
Webmaster: Ole Sørensen     Siden opdateret 20. februar 2002.