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