on what it is

  • an introduction to the Hilbert program provided by the Stanford encyclopedia.
  • the indespensability argument at the Stanford encyclopedia.
  • the Bernays project.
  • W.W. Tait's homepage.
  • some work by Stephen G. Simpson.
  • on Gödel's philosophy of mathematics by Harold Ravitch.
  • practical foundations of mathematics by Paul Taylor.
  • social constructivism by Paul Ernest.
    • home