Joseph Kruskal
Joseph Bernard Kruskal (* 29. Januar 1928 in New York City; † 19. September 2010 in Princeton (New Jersey)) war ein US-amerikanischer Mathematiker und Statistiker.[1]
Leben
Er hat an der Universität von Chicago und der Princeton-Universität studiert, wo er 1954 mit der Dissertation Theory of Well-Quasi-Ordering unter Roger Lyndon und Paul Erdős promoviert wurde.[2]
Nachdem er an der Princeton University und der University of Wisconsin unterrichtet hatte, wurde er 1958 zum Assistenzprofessor an der University of Michigan ernannt. Im darauf folgenden Jahr wechselte er zu den Bell Telephone Laboratories. Er war weiterhin Gastprofessor in Yale, Columbia und Rutgers.[3]
Von ihm stammt der Kruskal-Algorithmus zur Berechnung minimaler aufspannender Bäume in der Graphentheorie.
1960[4] bewies er einen nach ihm benannten Satz über die Ordnungseigenschaften einer unendlichen Folge endlicher Bäume. Der Satz besagt, dass in einer unendlichen Menge endlicher Bäume ein Baum existiert, der Teil eines anderen Baums der Menge ist. 1981 zeigte Harvey Friedman, dass eine Variante des Satzes in der Peano-Arithmetik unentscheidbar ist. Friedman musste, um den Satz in der Peano-Arithmetik formulieren zu können, eine endliche Version von Kruskals Satz formulieren, allerdings mit einer sehr schnell wachsenden endlichen Menge.[5]
Seine Brüder Martin Kruskal und William Kruskal waren ebenfalls Mathematiker.
Einzelnachweise
- Recent alumni deaths paw.princeton.edu, abgerufen am 17. Februar 2011
- Joseph Bernard Kruskal im Mathematics Genealogy Project (englisch)
- Thomas Koshy: Discrete mathematics with applications. Elsevier 2004, ISBN 0-12-421180-1. (Kapitel 9: Trees, S. 616)
- Kruskal, Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture, Transactions of the American Mathematical Society, Band 95, 1960, S. 210–225. Einen einfacheren Beweis gab Crispin Nash-Williams, Proc. Cambridge Phil. Soc., Band 59, 1963, S. 833–835.
- Marianne Freiberger, Picking Holes in Mathematics, Plus Magazine