Wolfgang Haken

Från Wikipedia
Hoppa till: navigering, sök

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ändning av datorprogram vid matematiska bevis, vilket gjorde att många matematiker till en början var skeptiska till beviset.