CIS 160, Fall, 2010

Some Historical and Leading Figures

David Hilbert, Gerhard Gentzen, Dag Prawitz, Arend Heyting, L E J Brouwer, Henri Poincare, Kurt Godel, Alfred Tarski, Wilhelm Ackermann, Jacques Herbrand, Bertrand Russell, Guiseppe Peano, Alonzo Church, Haskell Curry, Stephen Kleene, Alan Turing, Georg Cantor, Paul Bernays, John von Neumann, Adolf Abraham Fraenkel, Ernst Friedrich Zermelo, Thoralf Skolem, Lejeune Dirichlet, Friedrich Schroder, Felix Bernstein, Blaise Pascal, Rene Descartes, Etienne Bezout, Euclid of Alexandria, Aristotle, Leonhard Euler, Carl Friedrich Gauss, James Joseph Sylvester, George Boole, Charles Peirce, Augustus de Morgan, William Hamilton, Garrett Birkhoff, Donald Knuth,


The MacTutor History of Mathematics archive

** Welcome Page


Course 6.042: Mathematics for Computer Science (MIT)

** Course Objectives and Outcomes


The Mathematics Genealogy Project

** Home Page


Related Material: Some Talks, Slides and Links


Back to Gallier Homepage

published by:

Jean Gallier