Wolfgang Haken

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

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.


Personliga verktyg
På andra språk