Foundations |
  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. |
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'. |
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software. |
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available. |
Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials. |
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. |
The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews. |
Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge |
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |
Domain Tools analysis of DMOZ top listed domains
|
|
Hosting Metrics