Robert Lawson Vaught - Robert Lawson Vaught
Robert Lawson Vaught | |
|---|---|
.jpg) Vaught em 1974
| |
| Nascermos |
4 de abril de 1926 |
| Morreu | 2 de abril de 2002 (com 75 anos) |
| Nacionalidade | americano |
| Alma mater | Universidade da California, Berkeley |
| Carreira científica | |
| Campos | Matemática |
| Instituições | Universidade da California, Berkeley |
| Tese | Tópicos de Teoria das Classes Aritméticas e Álgebras Booleanas (1954) |
| Orientador de doutorado | Alfred Tarski |
| Alunos de doutorado |
James Baumgartner Ronald Fagin Julia Knight Jack Silver Michael D. Morley (de facto) |
Robert Lawson Vaught (4 de abril de 1926 - 2 de abril de 2002) foi um lógico matemático e um dos fundadores da teoria dos modelos .
Vida
Vaught foi um prodígio musical em sua juventude, em seu caso tocando piano. Ele começou seus estudos universitários em Pomona College , aos 16 anos quando a Segunda Guerra Mundial estourou, ele se alistou na Marinha dos Estados Unidos , o que lhe atribuído à Universidade da Califórnia 's V-12 programa. Ele se formou em 1945 com um bacharelado em física.
Em 1946, ele começou o doutorado. em matemática em Berkeley. Ele inicialmente trabalhou sob a supervisão do topologista John L. Kelley , escrevendo sobre álgebras C * . Em 1950, em resposta às pressões macartistas , Berkeley exigiu que todos os funcionários assinassem um juramento de lealdade . Kelley recusou e mudou sua carreira para a Tulane University por três anos. Vaught então começou de novo sob a supervisão de Alfred Tarski , concluindo em 1954 uma tese sobre lógica matemática , intitulada Tópicos na Teoria das Classes Aritméticas e Álgebras Booleanas . Depois de passar quatro anos na Universidade de Washington , Vaught voltou para Berkeley em 1958, onde permaneceu até sua aposentadoria em 1991.
Em 1957, Vaught casou-se com Marilyn Maca; eles tiveram dois filhos.
Trabalhos
O trabalho de Vaught concentra-se principalmente na teoria do modelo . Em 1957, ele e Tarski introduziram submodelos elementares e o teste Tarski-Vaught para caracterizá-los. Em 1962, ele e Michael D. Morley foram os pioneiros no conceito de uma estrutura saturada . Suas investigações sobre modelos contáveis de teorias de primeira ordem o levaram à conjectura de Vaught, afirmando que o número de modelos contáveis de uma teoria de primeira ordem completa (em uma linguagem contável) é sempre finito, ou contávelmente infinito, ou igual ao real números. O teorema "Nunca 2" de Vaught afirma que uma teoria completa de primeira ordem não pode ter exatamente dois modelos contáveis não isomórficos.
Ele considerou que seu melhor trabalho foi seu artigo "Conjuntos invariantes em topologia e lógica", introduzindo a transformada Vaught . Ele é conhecido pelo teste de Tarski-Vaught para subestruturas elementares, o teorema de Feferman-Vaught , o teste de Łoś-Vaught para completude e decidibilidade, o teorema de dois cardinais de Vaught e sua conjectura sobre a axiomatizabilidade não finita de teorias totalmente categóricas (este trabalho eventualmente levou à teoria da estabilidade geométrica ).
Veja também
Notas
Referências
- Feferman, Anita Burdman e Solomon Feferman , 2004. Alfred Tarski: Life and Logic . Cambridge Univ. Pressione. 24 entradas de índice para Vaught, especialmente pp. 185–88.
links externos
- Robert Lawson Vaught no Mathematics Genealogy Project
- Addison, JW (outono de 2002). "In Memoriam: Robert Lawson Vaught" (PDF) . Boletim Informativo de Matemática de Berkeley . p. 13