Kenneth Appel

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

Kenneth Appel, född 8 oktober 1932 i Brooklyn, New York, död 19 april 2013 i Dover, New Hampshire, var en amerikansk matematiker vid University of Illinois. År 1976 bevisade han tillsammans med Wolfgang Haken 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.