| Robert Lawson Vaught | |
|---|---|
.jpg/440px-Robert_L._Vaught_1974_(vertical_crop).jpg) Vaught en 1974 | |
| Nació | 4 de abril de 1926 |
| Fallecido | 2 de abril de 2002 (75 años) |
| Nacionalidad | americano |
| alma mater | Universidad de California, Berkeley |
| Carrera científica | |
| Campos | Matemáticas |
| Instituciones | Universidad de California, Berkeley |
| Tesis | Temas de la teoría de clases aritméticas y álgebras booleanas (1954) |
| Asesor de doctorado | Alfred Tarski |
| Estudiantes de doctorado | James Baumgartner Ronald Fagin Julia Knight Jack Silver Michael D. Morley (de facto) |
.jpg){kind=link}
Robert Lawson Vaught (4 de abril de 1926 - 2 de abril de 2002) fue un lógico matemático y uno de los fundadores de la teoría de modelos . [1]
Vida [ editar ]
Vaught fue un prodigio musical en su juventud, en su caso tocando el piano. Comenzó sus estudios universitarios en la Universidad de Pomona , a los 16 años Cuando la Segunda Guerra Mundial estalló, se alistó en la Marina de los EE.UU. , que le asigna a la Universidad de California 's V-12 programa. Se graduó en 1945 con una licenciatura en física.
En 1946, comenzó un doctorado. en matemáticas en Berkeley. Inicialmente trabajó bajo la supervisión del topólogo John L. Kelley , escribiendo sobre álgebras C * . En 1950, en respuesta a las presiones de los macartistas , Berkeley requirió que todo el personal firmara un juramento de lealtad . Kelley declinó y trasladó su carrera a la Universidad de Tulane durante tres años. Vaught luego comenzó de nuevo bajo la supervisión de Alfred Tarski , completando en 1954 una tesis sobre lógica matemática , titulada Temas en la teoría de las clases aritméticas y álgebras booleanas . Después de pasar cuatro años en la Universidad de Washington, Vaught regresó a Berkeley en 1958, donde permaneció hasta su jubilación en 1991.
En 1957, Vaught se casó con Marilyn Maca; tuvieron dos hijos.
Trabajo [ editar ]
El trabajo de Vaught se centra principalmente en la teoría de modelos . En 1957, él y Tarski introdujeron submodelos elementales y la prueba de Tarski-Vaught que los caracteriza. En 1962, él y Michael D. Morley fueron pioneros en el concepto de estructura saturada . Sus investigaciones sobre modelos contables de teorías de primer orden lo llevaron a la conjetura de Vaught que afirma que el número de modelos contables de una teoría completa de primer orden (en un lenguaje contable) es siempre finito, infinito numerable o equinumerable con el real. números. Teorema de "Nunca 2" de Vaught establece que una teoría completa de primer orden no puede tener exactamente dos modelos contables no isomórficos.
Consideró que su mejor trabajo fue su artículo "Conjuntos invariantes en topología y lógica" [ cita requerida ] , que presenta la transformación de Vaught . Es conocido por la prueba de Tarski-Vaught para subestructuras elementales, el teorema de Feferman-Vaught , la prueba de Łoś-Vaught para completar y decidir, el teorema de los dos cardinales de Vaught y su conjetura sobre la axiomatizabilidad no finita de teorías totalmente categóricas (este trabajo eventualmente condujo a la teoría de la estabilidad geométrica ).
Ver también [ editar ]
- Prueba de Łoś – Vaught
Notas [ editar ]
- ^ In Memoriam: Robert Lawson Vaught, UC Berkeley Archivado el 14 de julio de 2014 en la Wayback Machine.
Referencias [ editar ]
- Feferman, Anita Burdman y Solomon Feferman , 2004. Alfred Tarski: Life and Logic . Universidad de Cambridge. Prensa. 24 entradas de índice para Vaught, especialmente págs. 185–88.
Enlaces externos [ editar ]
- Robert Lawson Vaught en el Proyecto de genealogía matemática
- Addison, JW (otoño de 2002). "In Memoriam: Robert Lawson Vaught" (PDF) . Boletín de Matemáticas de Berkeley . pag. 13.
