Foundations (Logic and Foundations)

Foundations Sites:

Arché Arché: The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews. (Foundations) http://www.st-and.ac.uk/academic/philosophy/arche/ A Century of Controversy over the Foundations of Mathematics A Century of Controversy over the Foundations of Mathematics: Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'. (Foundations) http://www.umcs.maine.edu/~chaitin/lowell.html Foundations of Mathematics Foundations of Mathematics: This is a site for studying foundations of mathematics, or it can be used as a reference material. The site is structured as contents pages of a book on the subject of mathematics foundations. It comprises links to expository materials. (Foundations) http://sakharov.net/foundation.html Mizar Project Mizar Project: An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software. (Foundations) http://www.mizar.org/ Practical Foundations of Mathematics 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. (Foundations) http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/ FOM FOM: A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available. (Foundations) http://www.cs.nyu.edu/mailman/listinfo/fom/ QED Project QED Project: Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge (Foundations) http://www-unix.mcs.anl.gov/qed/