Thursday, 23 May, 2013
Practical Foundations of Mathematics (Popularity: )
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.
A Century of Controversy over the Foundations of Mathematics (Popularity: )
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
Foundations of Mathematics (Popularity: )
This is a site for studying foundations of mathematics, or it can be used as a reference material. The site is structured as contents pages of a book on the ...
Mizar Project (Popularity: )
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
Arché (Popularity: )
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 (Popularity: )
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
© 2005-2010 Science Central. All Rights Reserved