Haken

Haken

Haken Wolfgang (Berlino 1928) matematico statunitense di origini tedesche. Specializzato in topologia, è noto soprattutto per aver risolto nel 1976, insieme a K. Appel, il classico problema dei → quattro colori. Dopo gli studi di matematica, filosofia e fisica all’università di Kiel, conseguì il dottorato nel 1953. Dal 1954 al 1962 lavorò a Monaco presso la Siemens; nel 1965, ottenne una cattedra all’università dell’Illinois, nella quale fu in seguito nominato professore emerito. Caratteristico dei lavori di Haken è l’abbondante utilizzo di metodi algoritmici, che si osserva non soltanto nella dimostrazione del teorema dei quattro colori, ottenuta anche con l’aiuto di un potente computer, ma anche in altri lavori di topologia. Oltre che tra i massimi esperti delle varietà topologiche tridimensionali, tra cui quella da lui definita e che porta il suo nome, Haken può anche essere considerato come il precursore di una branca di studi definibile come topologia algoritmica.