Julia Knight

US-amerikanische mathematische Logikerin

Julia Frandsen Knight (* 1942 oder 1943 als Julia Frandsen) ist eine US-amerikanische mathematische Logikerin, Professorin für Mathematik an der University of Notre Dame.

Julia Knight, Oberwolfach 2012

Knight stammt aus Logan (Utah). Sie studierte an der Utah State University mit dem Bachelor-Abschluss 1964 und wurde 1972 an der University of California, Berkeley, bei Robert Vaught promoviert (Some Problems in Model Theory).[1] Sie ist seit 1977 Professorin an der University of Notre Dame. Dort ist sie Charles L. Huisking Professor für Mathematik.

Knight befasst sich mit Modelltheorie und Berechenbarkeitstheorie.

2014 wurde sie als Gödel-Lecturer ausgewählt, 2015 als Tarski Lecturer. 2012 wurde sie Fellow der American Mathematical Society.

Sie ist seit 1967 mit William Knight verheiratet, Informatik-Professor an der Indiana University South Bend,[2] und hat einen Sohn.

Schriften

Bearbeiten
  • mit Christopher J. Ash: Computable structures and the hyperarithmetical hierarchy (= Studies in Logic and the Foundations of Mathematics. 144). Elsevier, Amsterdam u. a. 2000, ISBN 0-444-50072-3.
Bearbeiten
Commons: Julia F. Knight – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise

Bearbeiten
  1. Julia Knight im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  2. Homepage von William Knight (Memento vom 8. Oktober 2015 im Internet Archive)