Robert Lawson Vaught
| 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) |
Robert Lawson Vaught ( - ) est un mathématicien logicien, un des fondateurs de la théorie des modèles.
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
- (en) « Robert L. Vaught », sur le site du Mathematics Genealogy Project
- 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
- (en) « Robert L. Vaught », sur le site du Mathematics Genealogy Project
- (en) « Nécrologie de Robert Lawson Vaught » [archive du ], université de Californie (consulté le ).
- Ressource relative à la recherche :
Source de la traduction
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Robert Lawson Vaught » (voir la liste des auteurs).
