Wolfgang Haken

Wolfgang Haken
Wolfgang Haken, 2019.
Född21 juni 1928
Berlin
Död2 oktober 2022[1] (94 år)
Champaign[1], USA
Medborgare iTyskland
Utbildad vidKiels universitet
SysselsättningMatematiker, topolog, universitetslärare
ArbetsgivareUniversity of Illinois at Urbana-Champaign
BarnDorothea Blostein (f. 1953)
Utmärkelser
Fulkersonpriset (1979)[2]
Redigera Wikidata

Wolfgang Haken, född 21 juni 1928 i Berlin, Tyskland, död 2 oktober 2022, var en tysk matematiker vid University of Illinois, som specialiserade sig på topologi, särskilt tredimensionell. Han bevisade tillsammans med Kenneth Appel 1976 den berömda fyrfärgssatsen. Beviset var det första större exemplet på intensiv användning av datorprogram vid matematisk bevisföring, vilket gjorde att många matematiker till en början var skeptiska till beviset.

Biografi

Haken var son till Werner Haken, en fysiker som hade Max Planck som doktorandhandledare.[3] År 1953 tog Haken doktorsexamen i matematik vid Christian-Albrechts-Universität zu Kiel och gifte sig med Anna-Irmgard von Bredow, som 1959 tog doktorsexamen i matematik vid samma universitet. År 1962 lämnade de Tyskland då han kunde börja en tjänst som gästprofessor vid University of Illinois i Urbana-Champaign. Han blev professor 1965 och gick i pension 1998.

Karriär och vetenskapligt arbete

År 1976 löste Haken tillsammans med kollegan Kenneth Appel vid University of Illinois i Urbana-Champaign fyrfärgssatsen. De visade att alla tvådimensionella kartor, med vissa begränsningar, kan fyllas i med fyra färger utan att några angränsande "länder" delar samma färg. Haken har introducerat flera idéer, inklusive Haken-manifold, Kneser-Haken-ändlighet och en utvidgning av Knesers arbete till en teori om normala ytor. Mycket av hans arbete har en algoritmisk aspekt, och han är en förgrundsfigur i algoritmisk topologi. Ett av hans viktigaste bidrag till detta område är en algoritm för att upptäcka om en knut är oknuten.

Hakens äldste son, Armin, bevisade att det finns propositionella tautologier som kräver upplösningsbevis av exponentiell storlek.[4] Hakens äldsta dotter, Dorothea Blostein, är professor i datavetenskap, känd för sin upptäckt av huvudsatsen för att upplösa och återställa upprepning. En annan av Hakens söner, Lippold, är uppfinnaren av Continuum Fingerboard. Wolfgang är kusin till Hermann Haken, en fysiker känd för laserteori och synergetik.

Wolfgang Haken diskuterar fyrfärgssatsen med Marshall Pangilinan. De tittar på boken 99 Variationer på ett bevis av Philip Ording.

År 1978 höll Haken ett inbjudet tal vid den internationella matematikerkongressen i Helsingfors.[5] Han var mottagare av Fulkersonpriset 1979 av American Mathematical Society för sin lösning med Appel av fyrfärgssatsen.[6]

Utmärkelser och hedersbetygelser

  • Fulkersonpriset, 1979[2]

[Redigera Wikidata]

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Wolfgang Haken, 22 mars 2022.
  • Haken, W. "Theorie der Normalflachen." Acta Math. 105, 245–375, 1961.

Noter

  1. ^ [a b] läs online, www.news-gazette.com .[källa från Wikidata]
  2. ^ [a b] läs online, www.ams.org .[källa från Wikidata]
  3. ^ Werner Haken, Beitrag zur Kenntnis der thermoelektrischen Eigenschaften der Metallegierungen. Accessed May 6, 2019
  4. ^ Avi Wigderson, Mathematics and Computation, March 27 2018, footnote at Theorem 6.11
  5. ^ International Congress of Mathematicians 1978 Arkiverad 21 oktober 2014 hämtat från the Wayback Machine.. International Mathematical Union. Accessed May 29, 2011
  6. ^ Delbert Ray Fulkerson Prize, American Mathematical Society. Accessed May 29, 2011

Externa länkar

Media som används på denna webbplats

Arbcom ru editing.svg
Icon of simple gray pencil. An icon for Russian Wikipedia RFAR page.
Wolfgang Haken with Marshall Pangilinan.jpg
Författare/Upphovsman: Tori Egherman , Licens: CC BY-SA 4.0
Wolfgang Haken discusses the four colour theorem with Marshall Pangilinan. They are looking at the book 99 Variations on a Proof by Philip Ording. By coincidence Marshall's grandparents live across the street from Professor Haken and both appear on the same page of the book
Wolfgang Haken.jpg
Författare/Upphovsman: Tori Egherman , Licens: CC BY-SA 4.0
Wolfgang Haken discusses the four colour theorem with Marshall Pangilinan. They are looking at the book 99 Variations on a Proof by Philip Ording. By coincidence Marshall's grandparents live across the street from Professor Haken and both appear on the same page of the book