Remove ads
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]
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.
Remove ads
- Joseph B. Kruskal jun. in der Datenbank zbMATH
Remove ads
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads