Julia Knight
Julia Frandsen Knight (* 1942 or 1943 as Julia Frandsen ) is an American mathematical logician , professor of mathematics at the University of Notre Dame .
Knight is from Logan, Utah . She graduated from Utah State University with a bachelor's degree in 1964 and received her PhD in 1972 from the University of California, Berkeley , with Robert Vaught ( Some Problems in Model Theory ). She has been a professor at the University of Notre Dame since 1977. There she is Charles L. Huisking Professor of Mathematics.
Knight deals with model theory and computability theory .
In 2014 she was selected as a Gödel Lecturer and in 2015 as a Tarski Lecturer . In 2012 she became a Fellow of the American Mathematical Society .
She has been married to William Knight, a computer science professor at Indiana University South Bend, since 1967 and has one son.
Fonts
- with Christopher John Ash: Computable structures and the hyperarithmetical hierarchy , Studies in Logic and the Foundations of Mathematics, Volume 144, North-Holland 2000
Web links
Individual evidence
- ↑ Julia Knight in the Mathematics Genealogy Project (English)
- ↑ Homepage of William Knight ( Memento of the original from October 8, 2015 in the Internet Archive ) Info: The archive link has been inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
| personal data | |
|---|---|
| SURNAME | Knight, Julia |
| ALTERNATIVE NAMES | Frandsen, Julia (maiden name); Frandsen Knight, Julia |
| BRIEF DESCRIPTION | American logician |
| DATE OF BIRTH | 20th century |