Firfarveproblemet: Forskelle mellem versioner

 

I 1970 begynder to matematikere ved University of Illinois, [[Wolgang Haken]] og [[Kenneth Appel]] at arbejde med problemet. De fandt frem til at alle kort kunne konstrueres ud fra et endeligt antal grundtyper af kort, der var 1482 typer af kort hvorfra alle kort kunne tegnes. Nu var det bare at gå alle disse grundtyper igennem for firfarveproblemet. Men dette var et uoverkommeligt arbejde for selv de bedste matematiker-teams. Selv for computere ville det være en meget stor opgave, det ville tage 100 år at gennemgå alle muligheder. Haken og Appel begyndte at overveje andre strategier og genveje, således at problemet eventuelt kunne løses via computer. Det lykkedes og i juni 1976 blev problemet løst med 1200 timers computerarbejde – det første matematiske bevis udført via computer.

 

[[Kategori:Matematik]]