topic entry on foundations of mathematics


This is an entry-in-progress for a new topic entry on the foundations of mathematics.

  1. 1.

    Syntax and semantics

  2. 2.

    Set theoryMathworldPlanetmath and Classes

  3. 3.
  4. 4.
  5. 5.

    Logic and Axiomatic theories

  6. 6.
  7. 7.
  8. 8.

    Proof theory: from axioms to results

  9. 9.
  10. 10.

    Theory of computation

Title topic entry on foundations of mathematics
Canonical name TopicEntryOnFoundationsOfMathematics
Date of creation 2013-03-22 18:00:10
Last modified on 2013-03-22 18:00:10
Owner CWoo (3771)
Last modified by CWoo (3771)
Numerical id 32
Author CWoo (3771)
Entry type Topic
Classification msc 03-00
Related topic QuantumLogic