Wolfgang Haken
Från Rilpedia
Texten från svenska Wikipedia
Wolfgang Haken, född 1928, matematiker vid University of Illinois. Bevisade tillsammans med Kenneth Appel 1976 den berömda fyrfärgssatsen.
Beviset var det första större exemplet på intensiv använding av datorprogram vid matematiska bevis, vilket gjorde att många matematiker till en början var skeptiska till beviset.
