Open Directory - Science: Math: Logic and Foundations: Foundations
  • FOM - A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
  • Foundations of Mathematics - 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 - 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 - 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 - 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.
Volunteer to edit this category.
Copyright © 2012 Netscape Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: Wednesday, June 24, 2009 8:05:17 AM EDT - edit
п»ї© 2004-2011 RF1 Systems
counter