The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.
Sponsored Links:
URL:
Title:
Description:
Category:
Related sites
Mizar Project (Popularity: ): An attempt to reconstruct mathematical vernacular into a formal language which can be read by ... Practical Foundations of Mathematics (Popularity: ): Online text of the book by Paul Taylor, together with supporting materials. The text aims ... A Century of Controversy over the Foundations of Mathematics (Popularity: ): Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'. FOM (Popularity: ): A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive ... Foundations of Mathematics (Popularity: ): This is a site for studying foundations of mathematics, or it can be used as ...