|
|
|
|
Home / Science / Math / Logic and Foundations / Foundations
|
|
|
|
Web Sites
|
- A Century of Controversy over the Foundations of Mathematics - Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
www.umcs.maine.edu/~chaitin/lowell.html
- Arché - The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.
www.st-and.ac.uk/academic/philosophy/arche
- FOM - A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Stephen G. Simpson. Searchable archive.
www.math.psu.edu/simpson/fom
- Mizar Project - An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
www.mizar.org
- 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.
www.dcs.qmw.ac.uk/~pt/Practical_Foundations
- QED Project - Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
www-unix.mcs.anl.gov/qed
|
|
|
|
|