A Century of Controversy over the Foundations of Mathematics - http://www.umcs.maine.edu/~chaitin/lowell.html
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'. |
Foundations of Mathematics - http://sakharov.net/foundation.html
Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials. |
Hilbert II - Mathematical Foundation Project - http://www.qedeq.org/
The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. |
http://www.cs.nyu.edu/mailman/listinfo/fom/ - http://www.cs.nyu.edu/mailman/listinfo/fom/
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available. |
http://www.st-and.ac.uk/academic/philosophy/arche/ - http://www.st-and.ac.uk/academic/philosophy/arche/
The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews. |