Directory of Foundations Resources

Home > Science > Math > Logic and Foundations > Foundations

Resources in This Category

• A Century of Controversy over the Foundations of Mathematics

  http://www.cs.auckland.ac.nz/~chaitin/lowell.html
  Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.

• 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.

• 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.

• Mizar Project

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

• Practical Foundations of Mathematics

  http://www.paultaylor.eu/~pt/prafm/
  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.

 

Home > Science > Math > Logic and Foundations > Foundations

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us