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
-
Laura Kovacs
Konsortiumsmitglied
-
Michael Pinsker
Konsortiumsmitglied
-
Vera Fischer
Konsortiumsmitglied
-
Georg Schiemer
Konsortiumsmitglied
-
Juan P. Aguilera
Projektleiter:in
-
Sandra Müller
Konsortiumsmitglied