Top Qs
Chronologie
Chat
Contexte
Julia Knight
mathématicienne et logicienne américaine De Wikipédia, l'encyclopédie libre
Remove ads
Julia Knight (née Frandsen) est une mathématicienne américaine spécialisée en logique mathématique, professeure de mathématiques à l'université Notre-Dame-du-Lac.
Remove ads
Biographie
Knight est originaire de Logan dans l'Utah. Elle a étudié à l'université d'État de l'Utah, où elle obtient son diplôme de Bachelor en 1964 puis son doctorat en 1972, à l'université de Californie à Berkeley, sous la supervision de Robert Lawson Vaught avec une thèse intitulée Some Problems in Model Theory[1]. Elle est, depuis 1977, professeure à l'université Notre-Dame-du-Lac. Elle est titulaire de la chaire Charles L. Huisking de mathématiques[2].
Knight traite de théorie des modèles et de théorie de la calculabilité.
Elle est mariée depuis 1967 avec William Knight, professeur d'informatique à l'université d'Indiana, à South Bend[3] et ils ont un fils.
Remove ads
Prix et distinctions
En 2014, elle est sélectionnée comme Gödel Lecturer, puis en 2015 Tarski Lecturer. En 2012, elle est membre de l'American Mathematical Society[4].
Publications
- avec Christopher John Ash: Computable structures and the hyperarithmetical hierarchy, Studies in Logic and the Foundations of Mathematics, no 144, North-Holland 2000.
Liens externes
- Ressource relative à la recherche :
- Page d'accueil
Notes et références
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads