An attempt to reconstruct mathematical vernacular into a formal language which can be read by human...
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davi...
Reviews the foundations of mathematics with reference materials structured as content pages of a bo...
The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system...
Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
Online text of the book by Paul Taylor, together with supporting materials. The text aims to provid...