Search results

nLab Philosophy

ncatlab.org

This nLab page discusses the philosophical part of nLab, covering higher algebra, homotopy theory, type theory and category theory and their relevance to philosophy. It states that the entries on philosophy would ideally contain philosophy of mathematics, logic and foundations, and philosophy of physics, including interpretation and foundational issues of quantum mechanics. It also treats metaphysical interest in higher mathematical structures and foundations for mathematics.

nLab Math

ncatlab.org

The nLab page on mathematics is a reference entry covering the field of mathematics. It states that mathematics is the part of science that constructs and studies mathematical objects used to implement mathematical models, with results organized into definitions, theorems, and proofs. The page lists subfields including philosophy of mathematics, foundations, logic, topology, algebra, and analysis.