Google
  Web foundations.logic-and-foundations.math.sciencenter.work
Foundations Sites


Science Math Logic and Foundations Foundations
Science Math Logic and Foundations Foundations sites
Foundations.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Foundations
Science Math Logic and Foundations Foundations sites
Foundations.Logic-and-Foundations.Math.science-sites.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 , e-mail 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/

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by foundations.logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 foundations.logic-and-foundations.math.sciencenter.work