https://e-sygoing.link Latest links in the Foundations category en-us Mon, 25 May 2026 01:02:45 -0400 https://e-sygoing.link/link/5285592-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 foundations. It comprises links to expository materials. Thu, 12 Mar 2026 00:51:07 -0400 https://e-sygoing.link/go/5285592 https://e-sygoing.link/link/5285593-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 language of predicate calculus) into it. Sat, 17 Jan 2026 21:12:51 -0500 https://e-sygoing.link/go/5285593 https://e-sygoing.link/link/5285586-mizar-project An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software. Tue, 11 Nov 2025 22:24:30 -0500 https://e-sygoing.link/go/5285586 https://e-sygoing.link/link/5285588-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. Sat, 20 Apr 2024 23:06:48 -0400 https://e-sygoing.link/go/5285588