John Guckenheimer, professor of math