Login / Signup

Does mathematics need new axioms?

Solomon FefermanHarvey M. FriedmanPenelope MaddyJohn R. Steel
Published in: Bull. Symb. Log. (2000)
Keyphrases
  • knowledge base
  • computer science
  • first order logic
  • computer assisted instruction
  • electrical engineering
  • machine learning
  • information systems
  • computer assisted learning
  • mathematics education