Julia Knight
Julia Frandsen Knight (* 1942 ou 1943 como Julia Frandsen ) é uma lógica matemática americana , professora de matemática na Universidade de Notre Dame .
Knight é de Logan, Utah . Ela se formou na Universidade do Estado de Utah com bacharelado em 1964 e recebeu seu PhD em 1972 na Universidade da Califórnia, Berkeley , com Robert Vaught ( Alguns problemas em teoria do modelo ). Ela é professora da Universidade de Notre Dame desde 1977. Lá está ela, Charles L. Huisking, Professor de Matemática.
Knight lida com teoria de modelos e teoria da computabilidade .
Em 2014 foi selecionada como conferencista Gödel e em 2015 como conferencista Tarski . Em 2012, ela se tornou Fellow da American Mathematical Society .
Ela é casada com William Knight, professor de ciência da computação na Indiana University South Bend, desde 1967 e tem um filho.
Fontes
- com Christopher J. Ash: Estruturas computáveis e a hierarquia hiperaritmética (= Estudos em Lógica e os Fundamentos da Matemática. 144). Elsevier, Amsterdam et al., 2000, ISBN 0-444-50072-3 .
Links da web
Evidência individual
- ↑ Julia Knight no Projeto Genealogia da Matemática (inglês)
- ↑ Página principal de William Cavaleiro ( Memento do originais de 8 de outubro de 2015 na Internet Archive ) Info: O arquivo de ligação foi inserido automaticamente e ainda não foi marcada. Verifique o link original e o arquivo de acordo com as instruções e, em seguida, remova este aviso.
dados pessoais | |
---|---|
SOBRENOME | Cavaleiro, Julia |
NOMES ALTERNATIVOS | Frandsen, Julia (nome de solteira); Frandsen Knight, Julia |
DESCRIÇÃO BREVE | Lógico americano |
DATA DE NASCIMENTO | século 20 |