Kenneth Appel
Kenneth Ira Appel, auch Ken Appel (* 8. Oktober 1932 in Brooklyn, New York City; † 19. April 2013 in Dover, New Hampshire), war ein US-amerikanischer Mathematiker, der vor allem wegen seines Beweises des Vierfarbensatzes mit Wolfgang Haken 1976 bekannt ist.

Appel studierte bis 1953 am Queens College (Bachelor-Abschluss), diente zwei Jahre in der US-Armee und setzte dann sein Studium an der University of Michigan fort, wo er 1959 bei Roger Lyndon mit der Dissertation "Two Investigations on the Borderline of Logic and Algebra" promoviert wurde.

Danach arbeitete er zwei Jahre am "Institute for Defense Analyses" in Princeton und ging dann 1961 als Assistenzprofessor an die University of Illinois at Urbana-Champaign, wo er 1967 Associate Professor und 1977 ordentlicher (full) Professor wurde und wo er im Jahre 1976 zusammen mit Wolfgang Haken den berühmten Vier-Farben-Satz bewies. Dieser besagt, dass für jede zweidimensionale Landkarte (mit bestimmten Einschränkungen) vier Farben ausreichen, um die Karte zu färben, ohne dass benachbarte „Länder“ die gleiche Farbe haben.

Der Beweis kam nur durch massiven Computer-Einsatz zustande und konnte auch nur per Computer verifiziert werden (etwa 1500 Einzelfälle mussten überprüft werden). Damit markiert er auch beweistechnisch einen Einschnitt in der Mathematikgeschichte – der Beginn dessen, was heute unter dem Sammelbegriff "experimentelle Mathematik" läuft. In ihrem Beweis bauten sie auf Ideen von Heinrich Heesch auf, der in den 1960er Jahren an der TU Hannover ebenfalls an einem Beweis mit Computerhilfe arbeitete, aber nur ungenügende finanzielle Unterstützung erhielt und auch sonst relativ isoliert war. Appel und Haken benötigten für ihren Beweis 1200 Stunden Rechenzeit auf einer IBM 360 mit 64 kB Arbeitsspeicher, die an der Universität sonst nur Verwaltungs-Zwecken diente. Ihre Arbeit an dem Beweis dauerte rund vier Jahre und begann 1972. Dabei wurden sie auch von den Kindern von Appel unterstützt (sein Sohn Andrew ist inzwischen auch Professor für Informatik in Princeton). Zur Feier des Beweises führte die Universität von Illinois einen neuen Poststempel "Four colors suffice" ein. Anscheinend wurde der Großteil der Programmierung (in Assembler-Sprache) von Appel durchgeführt, während der Topologe Haken konzeptionelle Ideen beisteuerte.

Kenneth Appel war zuletzt Professor an der University of New Hampshire in Durham, wo er 1993–2002 Chef des Mathematik-Departments war. Er ist Fellow der American Mathematical Society.

1979 erhielt er mit Haken den Fulkerson-Preis der AMS für diskrete Mathematik.

Er war seit 1959 mit Carole Stein verheiratet.

}}
Q2924
8. Oktober
TIME
Q18743
1932
TIME
Q18419
Brooklyn
LOC
Q60
New York City
LOC
Q2523
19. April
TIME
Q1998
2013
TIME
Q48215
Dover
LOC
Q759
New Hampshire
LOC
Q170790
Mathematiker
Concept
Q184410
Vierfarbensatzes
Concept
Q65082
Wolfgang Haken
PER
Q230492
University of Michigan
ORG
Q3439226
Roger Lyndon
PER
Q1665138
Institute for Defense Analyses
LOC
Q138518
Princeton
LOC
Q457281
University of Illinois at Urbana-Champaign
ORG
Q65082
Wolfgang Haken
PER
Q78102
Heinrich Heesch
PER
Q678982
TU Hannover
ORG
Q609843
IBM 360
Concept
Q165436
Assembler
Concept
Q49207
University of New Hampshire
LOC
Q465654
American Mathematical Society
ORG
Q1004305
Fulkerson-Preis
MEDIA
Q224787
Kenneth Appel
PER
1932-10-08T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
8. Oktober 1932
DATE
2013-04-19T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
19. April 2013
DATE
1977-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
und 1977
DATE
1976-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
Jahre 1976
DATE
1500-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
etwa 1500
DATE
2002-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2002
DATE
1979-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1979
DATE
+64^^http://www.w3.org/2001/XMLSchema#decimal
64
NUMBER
+2002^^http://www.w3.org/2001/XMLSchema#decimal
2002
NUMBER
+1979^^http://www.w3.org/2001/XMLSchema#decimal
1979
NUMBER
place of birth
place of death
residence
occupation
educated at
employer
member of
located in the administrative territorial entity
occupation
inception