

Science Math Logic and Foundations Foundations Science Math Logic and Foundations Foundations sites Foundations.LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Foundations Science Math Logic and Foundations Foundations sites Foundations.LogicandFoundations.Math.sciencesites.work 

A Century of Controversy over the Foundations of Mathematics Edited transcript of a lecture by Gregory Chaitin , author of `The Unknowable'. www.cs.auckland.ac.nz/~chaitin/lowell.html 

FOM A closed , moderated , email list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available. www.cs.nyu.edu/mailman/listinfo/fom/ 

Foundations of Mathematics Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials. sakharov.net/foundation.html 

Hilbert II  Mathematical Foundation Project 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. www.qedeq.org/ 

Mizar Project An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software. www.mizar.org/ 

Practical Foundations of Mathematics Online text of the book by Paul Taylor , together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science. www.paultaylor.eu/~pt/prafm/ 
