Foundations of Mathematics
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 subject of mathematics …
Hilbert II - Mathematical Foundation Project
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 l…
Mizar Project
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
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.
Showing 20–4 of 4 results