Enthüllung der Axiome der Mathematik

Uncovering the Axioms of Mathematics

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

Wissenschaftsdisziplinen

Informatik (10%); Mathematik (80%); Philosophie, Ethik, Religion (10%)

Keywords

  • Reverse Mathematics,
  • Forcing,
  • Constraint Satisfaction Problem,
  • Large Cardinal,
  • Computability Theory,
  • Gödel'S Incompleteness Theorem
Konsortium
Forschungsstätte(n)