Kenneth Appel
Från Rilpedia
Kenneth Appel, född 1932, matematiker vid University of Illinois. Han bevisade tillsammans med Wolfgang Haken 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.