My Advising Genealogy
(Sources: The Mathematics Genealogy Project and the
MacTutor History of Mathematics archive)
- Brian Howard (Stanford University, 1992), Fixed
Points and Extensionality in Typed Functional Programming Languages
- John Mitchell (Massachusetts Institute of
Technology, 1984), Lambda Calculus Models of Typed Programming Languages
- Albert Meyer (Harvard University, 1972), On Complex
Recursive Functions
- Patrick Fischer (Massachusetts Institute
of Technology, 1962), Theory of Provable Recursive Functions
- Hartley Rogers, Jr. (Princeton
University, 1952), Some Results on Definability and Decidability in Elementary Theories
- Alonzo Church
(Princeton University, 1927), Alternatives to Zermelo's Assumption
- Oswald Veblen
(The University of Chicago, 1903), A System of Axioms for Geometry
- Eliakim
Moore (Yale University, 1885), Extensions of Certain Theorems of Clifford and Cayley in the Geometry
of n Dimensions
- Hubert Anson Newton (Yale University, 1850).
The MGP extends the line further back from Newton to
Michel Chasles,
although Newton only received a B.S. at Yale before starting to teach there. It is possible that Chasles
was influential as a mentor to Newton, but I have not seen the evidence of this. Chasles' advisor was
Siméon-Denis
Poisson, and his advisor was
Joseph-Louis
Lagrange, both at the École Polytechnique in Paris. Lagrange studied at the College of Turin,
but started out in a law career. When he switched to mathematics, he began a correspondance with
Leonhard Euler,
so the MGP identifies Euler as Lagrange's advisor (but again, this was not a formal "student-advisor"
relation). From Euler, the MGP takes the line back two more steps, to
Johann
Bernoulli and then to his older brother,
Jacob
Bernoulli, all at the Universität Basel.