Foundations

A Century of Controversy over the Foundations of Mathematics

umcs.maine.edu

Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.

108 visits Aug 31, 2024 Details

ArchÃ©

st-and.ac.uk

The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.

181 visits Jun 18, 2024 Details

FOM

cs.nyu.edu

A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.

451 visits Jun 16, 2024 Details

Foundations of Mathematics

sakharov.net

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 …

465 visits Mar 12, 2026 Details

Hilbert II - Mathematical Foundation Project

qedeq.org

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…

272 visits Jan 17, 2026 Details

Mizar Project

mizar.org

An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

427 visits Nov 11, 2025 Details

Practical Foundations of Mathematics

dcs.qmw.ac.uk

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.

368 visits Apr 20, 2024 Details

QED Project

-unix.mcs.anl.gov

Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge

484 visits Feb 22, 2026 Details

Category Info