Current location: Math > Logic and Foundations > Foundations
1. FOM
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
http://www.cs.nyu.edu/mailman/listinfo/fom/ - 03-07-2001
-
[detailed information]
Rating: [6.00] Votes: [2377]
|
2. Mizar Project
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
http://www.mizar.org/ - 15-09-2002
-
[detailed information]
Rating: [6.00] Votes: [2370]
|
3. QED Project
Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
http://www-unix.mcs.anl.gov/qed/ - 14-05-2003
-
[detailed information]
Rating: [6.00] Votes: [1189]
|
4. 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 math
http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/ - 16-01-2004
-
[detailed information]
Rating: [5.00] Votes: [1068]
|
|
