Kenneth Appel, född 8 oktober 1932 i Brooklyn, New York, USA, 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.

Kenneth Appel
FöddKenneth Ira Appel[1]
8 oktober 1932[2][3][4]
Brooklyn, USA
Död19 april 2013[2][3][4] (80 år)
Dover, USA
BegravdPine Hill Cemetery[5][6]
kartor
Medborgare iUSA
Utbildad vidUniversity of Michigan, [1][7]
Queens College, [1]
SysselsättningMatematiker, universitetslärare
ArbetsgivareUSA:s armé (1953–1955)[1]
Institute for Defense Analyses (1959–1961)[1]
University of Illinois at Urbana-Champaign (1961–1993)[1]
University of New Hampshire (1993–2003)[1]
BarnAndrew Appel (f. 1960)[1]
Peter H. Appel (f. 1964)[1]
Utmärkelser
Fulkersonpriset (1979)[8]
Fellow of the American Mathematical Society (2013)[9][10]
Redigera Wikidata

Biografi redigera

Appel växte upp i Queens, New York, och var son till ett judiskt par, Irwin Appel och Lillian Sender Appel.[11][12] Han arbetade som aktuarie under en kort tid och tjänstgjorde sedan i den amerikanska armén i två år i Fort Benning, Georgia och i Baumholder, Tyskland. År 1959 gifte han sig med Carole S. Stein i Philadelphia. Paret flyttade till Princeton, New Jersey, där Appel arbetade för Institute for Defense Analyses från 1959 till 1961. Hans huvudsakliga arbete vid Institutet för försvarsanalyser var att forska inom kryptografi. Mot slutet av sitt liv, 2012, valdes han till hedersledamot i American Mathematical Society. Han dog 2013 i Dover, New Hampshire efter att ha diagnostiserats med matstrupscancer i oktober 2012.[13]

Kenneth Appel var också kassör i Strafford County Democratic Committee. Han spelade tennis i början av 50-talet. Han var en livslång frimärkssamlare, en spelare av spelet Go och hade brödbakning som hobby. Han och Carole hade två söner, Andrew W. Appel, en känd datavetare, och Peter H. Appel, och en dotter, Laurel F. Appel, som dog den 4 mars 2013. Han var också medlem i Dovers skolstyrelse från 2010 till sin död.[13]

Karriär och vetenskapligt arbete redigera

Appel tog 1953 sin kandidatexamen vid Queens College. Efter att ha tjänstgjort i armén studerade han på University of Michigan där han tog sin masterexamen 1956 och senare sin doktorsexamen 1959. Roger Lyndon, hans doktorandhandledare, var en matematiker vars huvudsakliga matematiska inriktning var gruppteori.

Efter att ha arbetat för Institute for Defense Analyses började Appel 1961 arbeta vid matematikavdelningens fakultet vid University of Illinois som biträdande professor. Där forskade han i gruppteori och beräkningsteori. År 1967 blev han docent och 1977 befordrades han till professor. Det var medan han var vid detta universitet som han och Wolfgang Haken bevisade fyrfärgssatsen. För deras arbete och bevis av denna sats tilldelades de senare Delbert Ray Fulkerson-priset, 1979, av American Mathematical Society och Mathematical Programming Society.[14]

Vid University of Illinois handledde Appel fem doktorander. Varje doktorand hjälpte till att bidra till det arbete som citerades på Mathematics Genealogy Project.[15]

År 1993 flyttade Appel till New Hampshire som ordförande för matematikavdelningen vid University of New Hampshire, där han 2003 gick i pension som professor emeritus. Efter sin pensionering arbetade han som volontär i Dovers och södra Maines offentliga skolor i program för elever med särskild matematikbegåvning. Han ansåg "att eleverna borde ges möjlighet att studera matematik på en nivå motsvarande deras förmåga, även om den ligger långt över deras betygsnivå."[13]

Fyrfärgssatsen redigera

Appel är känd för sitt arbete inom topologi, den gren av matematiken som utforskar vissa egenskaper hos geometriska figurer.[16] Hans största prestation var att bevisa fyrfärgssatsen 1976 med Wolfgang Haken.

Först var många matematiker missnöjda med det faktum att Appel och Haken använde datorer, eftersom detta var nytt för den tiden, och till och med Appel sa: "De flesta matematiker, även så sent som på 1970-talet, hade inget verkligt intresse av att lära sig om datorer. Det var nästan som om vi som tyckte om att leka med datorer gjorde något icke-matematiskt eller suspekt.”[17] Det faktiska beviset beskrevs i en artikel lika lång som en typisk bok med titeln Every Planar Map is Four Colorable, Contemporary Mathematics, vol. 98, American Mathematical Society, 1989.[14]

Gruppteori redigera

Bland Appels andra publikationer finns en artikel, tillsammans med P.E. Schupp, med titeln Artin Groups and Infinite Coxeter Groups. I denna artikel introducerade Appel och Schupp fyra satser som är sanna för Coxeter-grupper och bevisade att de också var sanna för Artin-grupper. Bevisen för dessa fyra satser använde "resultaten och metoderna för liten annulleringsteori".[18]

Utmärkelser och hedersbetygelser redigera

[Redigera Wikidata]

Referenser redigera

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Kenneth Appel, 13 juni 2022.

Noter redigera

  1. ^ [a b c d e f g h i] MacTutor History of Mathematics archive.[källa från Wikidata]
  2. ^ [a b] MacTutor History of Mathematics archive, läst: 22 augusti 2017.[källa från Wikidata]
  3. ^ [a b] Encyclopædia Britannica, Kenneth Appel, läst: 9 oktober 2017.[källa från Wikidata]
  4. ^ [a b] Bibliothèque nationale de France, BnF Catalogue général : öppen dataplattform, Kenneth I. Appel, licens: öppen licens.[källa från Wikidata]
  5. ^ Find a Grave, läs online.[källa från Wikidata]
  6. ^ läs online, www.dover.nh.gov .[källa från Wikidata]
  7. ^ Mathematics Genealogy Project.[källa från Wikidata]
  8. ^ [a b] läs online, www.ams.org .[källa från Wikidata]
  9. ^ [a b] läs online, www.ams.org , läst: 24 november 2022.[källa från Wikidata]
  10. ^ [a b] läs online, www.ams.org , läst: 24 november 2022.[källa från Wikidata]
  11. ^ ”Jew or not Jew”. Jew or not Jew. http://www.jewornotjew.com/profile.jsp?ID=2597. Läst 1 juli 2019. 
  12. ^ ”Jewish Mathematicians”. Jinfo.org. http://www.jinfo.org/Mathematics_Comp.html. Läst 29 juni 2018. 
  13. ^ [a b c] Obituary For: Kenneth I. Appel http://www.meaningfulfunerals.net/fh/obituaries/obituary.cfm?o_id=2069700&fh_id=12298
  14. ^ [a b] World of Mathematics. N.p.: Thomson Corporation, 2005-2006. Kenneth I. Appel Biography | Bookrags.com
  15. ^ "Mathematics Genealogy Project." The Mathematics Genealogy Project - Kenneth Appel http://genealogy.math.ndsu.nodak.edu/id.php?id=5059
  16. ^ "Kenneth I. Appel." Science and Its Times (2005–2006)
  17. ^ Brooks, David. ”Math Pioneers”. UNH Magazine Online. http://unhmagazine.unh.edu/sp02/mathpioneers.html. 
  18. ^ Appel, Kenneth I.; Schupp, P. E. (1983). ”Artin Groups and Infinite Coxeter Groups”. Inventiones Mathematicae 72 (2): sid. 201–220. doi:10.1007/BF01389320. Bibcode1983InMat..72..201A. 

Externa länkar redigera