A Century of Controversy over the Foundations of Mathematics «
http://www.umcs.maine.edu/~chaitin/lowell.html | | Edited transcript of a lecture by gregory chaitin , author of `the unknowable'. |
Arché «
http://www.st-and.ac.uk/academic/philosophy/arche/ | | The arche project looks at the foundations of mathematics , especially at frege's theorem and its ramifications. based at the university of st andrews. |
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.dcs.qmw.ac.uk/~pt/Practical_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. |
QED Project «
http://www-unix.mcs.anl.gov/qed/ | | Build a single , distributed , computerized repository that rigorously represents all important , established mathematical knowledge |
