Accueil🇫🇷Chercher

Robert Lawson Vaught

Robert Lawson Vaught ( - ) est un mathématicien logicien, un des fondateurs de la théorie des modèles.

Robert Lawson Vaught
Description de cette image, également commentée ci-après
Robert Vaught à un pique-nique du groupe de logique de l'université de Berkeley en 1977. À droite Leon Henkin (en).
Naissance
Alhambra (Californie)
Décès (à 75 ans)
Berkeley (Californie)
Nationalité American
Domaines Mathématiques
Institutions Université de Californie à Berkeley
Formation University of California, Berkeley
Directeur de thèse Alfred Tarski
Étudiants en thèse 18, dont James Baumgartner, Ronald Fagin, Julia Knight, Jack Silver (en)

Biographie

Vaught commence ses études universitaires au Pomona College à 16 ans. Lorsque la Seconde Guerre mondiale éclate, il s'enrôle dans la marine US qui l'affecte au programme V-12 de formation de la Marine, à l'université de Californie. En 1945, il obtient un baccalauréat universitaire en physique.

En 1946, il commence un doctorat en mathématiques à l'université de Berkeley, sous la direction de John L. Kelley, sur les C*-algèbres. En 1950, avec la pression du maccarthysme, l'université de Berkeley requiert de l'ensemble du personnel de signer un loyalty oath (en) (serment de fidélité). Kelley refuse, change d'université et travaille pendant trois ans, à l'université de Tulane. Vaught, resté à Berkely, recommence un travail de thèse, sous la direction cette fois-ci d'Alfred Tarski, et termine en 1954 un Ph. D. de logique mathématique intitulé Topics in the Theory of Arithmetical Classes and Boolean Algebras[1]. Après quatre années à l'université de Washington , Vaught retourne en 1958 à Berkeley, où il reste jusqu'à sa retraite en 1991.

Il a dirigé la thèse de Ronald Fagin.

Travaux

Les travaux de Vaught sont centrés principalement autour de la théorie des modèles. En 1957, Tarski et lui introduisent les sous-modèles élémentaires et le test dit de Tarski-Vaught qui les caractérise. En 1962, lui et Michael D. Morley définissent le concept de structure saturée (en). Ses études de modèles dénombrables de théories du premier ordre conduisent Vaught à formuler la conjecture de Vaught selon laquelle le nombre de modèles dénombrables d'une théorie complète du premier ordre est toujours fini, dénombrable infini, ou a la puissance de l'ensemble des nombres réels. Le théorème de Vaught (en), appelé aussi le théorème du « Never 2 », stipule qu'une théorie complète du premier ordre ne possède jamais exactement deux modèles dénombrables non isomorphes.

Son article Invariant sets in topology and logic, qui introduit la transformation de Vaught, a été fréquemment cité[2]. Il est connu de plus pour le théorème de Feferman-Vaught et le test de complétude et décidabilité dit théorème de Łoś–Vaught.

Vaught était un enseignant doué pour les débutants (undergraduates), et ses écrits étaient réputés pour leur élégance et clarté. Son livre Set Theory: An Introduction (deuxième édition 1994, paperback 2001) témoigne de ses capacités à cet égard.

Prix et distinctions

Il est le premier lauréat du Prix Karp en 1978.

Notes et références

  1. (en) « Robert L. Vaught », sur le site du Mathematics Genealogy Project
  2. 91 citations sur Google Scholar.
  • Robert Vaught, « Invariant sets in topology and logic », Fundamenta Mathematicae, Polska Akademia Nauk, vol. 82, 1974/75, p. 269-294 (MR 0363912) (Collection d'article en l'honneur du soixantième anniversaire de Andrzej Mostowski).
  • Robert Vaught, Set Theory : An Introduction, Birkhäuser Boston, , 2e éd., 167 p. (ISBN 978-0-8176-3697-5).
  • Anita Burdman Feferman et Solomon Feferman, Alfred Tarski : Life and Logic, Cambridge Univ. Press, (Un passage sur Vaught aux pages 185-188).

Liens externes

Source de la traduction

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.