Does mathematics need new axioms?

Solomon Feferman Harvey M. Friedman Penelope Maddy John 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