Uncovering the Axioms of Mathematics

Disciplines

Computer Sciences (10%); Mathematics (80%); Philosophy, Ethics, Religion (10%)

Keywords

• Reverse Mathematics,
• Forcing,
• Constraint Satisfaction Problem,
• Large Cardinal,
• Computability Theory,
• Gödel'S Incompleteness Theorem