Foundations Wiki



Welcome to the Foundations Wiki
A foundation is a body of knowledge. We use this site to organize some of our conceptual thinking about the foundations (of mathematics, of physics, of computer science) on the way to developing a practical tool for organizing and classifying different foundations.

Many foundational or "fundamental" concepts have a beguiling simplicity. Probably the best place to start is with theory.

This site follows the example of the nLab. It is largely copied from JT's "lab" notes.