Uncovering the Axioms of Mathematics

Juan P. Aguilera (ORCID: 0000-0002-2768-6714)

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
Consortium
  • Laura Kovacs
    consortium member
  • Michael Pinsker
    consortium member
  • Vera Fischer
    consortium member
  • Georg Schiemer
    consortium member
  • Juan P. Aguilera
    principal investigator
  • Sandra Müller
    consortium member
Research institution(s)