Robert Lawson Vaught

Der amerikanische mathematische Logiker und einer der Begründer der Modallogik, bekannt für den Tarski–Vaught-Test für elementare Unterstrukturen, den Feferman–Vaught-Satz, den Łoś–Vaught-Test für Vollständigkeit und Entscheidbarkeit, den Vaught-Zwei-Kardinal-Satz und seine Vermutung zur nichtendlichen Axiomatisierbarkeit total kategorialer Theorien (die letztendlich zur Theorie der geometrischen Stabilität führte).

Vaught war in seiner Jugend ein musikalisches Wunderkind, das insbesondere Klavier spielte. Er begann sein Studium im Alter von 16 Jahren am Pomona College. Mit dem Ausbruch des Zweiten Weltkriegs meldete er sich zur US Navy, die ihn dem V-12-Programm der University of California zuordnete. 1945 schloss er mit einem AB in Physik ab.

1946 begann er ein Ph.D.-Studium in Mathematik an der UC Berkeley. Er arbeitete zunächst unter der Betreuung des Topologen John L. Kelley und schrieb über C*-Algebren. 1950, als Reaktion auf McCarthy-Repressionen, wurde von Berkeley die Unterzeichnung eines Treueeids von allen Mitarbeitern verlangt. Kelley lehnte ab und wechselte für drei Jahre an die Tulane University. Vaught begann anschließend unter der Betreuung von Alfred Tarski ein neues Studium und vollendete 1954 eine Dissertation über mathematische Logik mit dem Titel "Topics in the Theory of Arithmetical Classes and Boolean Algebras". Nach vier Jahren an der University of Washington kehrte Vaught 1958 an die UC Berkeley zurück, wo er bis zu seiner Pensionierung 1991 blieb.

1957 heiratete Vaught Marilyn Maca; sie hatten zwei Kinder. Er starb am 2. April 2002 im Alter von 75 Jahren in Berkeley, Kalifornien.