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
-
Definitions of terms such as "Theorem, Lemma, Proposition, etc.",
from Legendre's "Elements de Geometrie" (first publication, 1794)
(pdf)
-
The Importance of Mathematics: A Lecture by Timothy Gowers
(2000 Millennium Event)
(html)
-
Some Videos of Talks by Terence Tao (UCLA)
(html)
-
Intuitionistic logic for dummies
(pdf)
-
Intuitionistic logic (Part 2/2)
(pdf)
-
Constructive Logic, by Frank Pfenning (Notes for a course at CMU)
(pdf)
-
ProofWeb
(html)
-
Introduction to proof theory
(pdf)
-
Proofs are programs
(ppt)
-
Intuitionistic Logic (from Stanford Encyclopedia of Philosophy)
(html)
-
Intuitionistic Logic (From Wikipedia)
(html)
-
Intuitionistic Logic (From Mathworld)
(html)
-
Axioms of Zermelo-Fraenkel Set Theory (from Wikipedia)
(html)
-
Zermelo-Fraenkel Axioms (from MathWorld)
(html)
-
Zermelo-Fraenkel Set Theory (from Stanford Encyclopedia of Philosophy)
(html)
-
Set Theory (from Stanford Encyclopedia of Philosophy)
(html)
-
The Axiom of Choice (by Eric Schechter)
(html)
-
Eric Schechter's home page
(html)
-
Axiom of choice (from Wikipedia)
(html)
-
Axiom of choice (from MathWorld)
(html)
-
Cantor-Schroeder-Bernstein Theorem (from Wikipedia)
(html)
-
Cantor-Schroeder-Bernstein Theorem (from PlanetMath)
(html)
-
Tarski's Fixed Point Theorem (from MathWorld)
(html)
-
Knaster-Tarski Theorem (from Wikipedia)
(html)
-
Plane-Filling Function (from MathWorld)
(html)
-
Hilbert Curve (from MathWorld)
(html)
-
Plane Filling Curves (from Alexander Bogomolny)
(html)
-
Space-Filling Curves (from Wikipedia)
(html)
-
Using Space-Filling Curves for multi-dimensional indexing
(html)
-
Stereographic Projection (from Wikipedia)
(html)
-
Stirling's Formula (from Wikipedia)
(html)
-
Pascal Triangle (from MathisFun)
(html)
-
Binomial Coefficients (from Wikepedia)
(html)
-
Well-founded relation (from Wikipedia)
(html)
-
Well-founded induction (from PlanetMath)
(html)
-
Lattice (from Wikipedia)
(html)
-
Distributive Lattice (from Wikipedia)
(html)
-
Complete Lattice (from Wikipedia)
(html)
-
Boolean algebra (from Wikipedia)
(html)
-
Boolean algebra (from Stanford Encyclopedia of Philosophy)
(html)
-
Graph theory (from Wikipedia)
(html)
Back to
Gallier Homepage
published by: