-
TU Dortmund
-
Meldung:
11.9.2020
„Graduiertenkolleg und Interdisziplinarität – das passt hervorragend zusammen“
mich mit Grundlagenfragen der theoretischen Informatik, wie zum Beispiel der Automatisierung von mathematischer Logik, insbesondere in der sogenannten Typentheorie. Grob gesagt geht es darum, welche Probleme [...] lösen können und welche nicht: Können sie beispielsweise selbstständig beurteilen, ob bestimmte mathematische Theorien beweisbar sind? Bei unlösbaren Problemen versuchen wir, diese so zu begrenzen, dass ein [...] ebenso wichtig ist. Zur Person: Studium der klassischen Philologie, Philosophie, Informatik und Mathematik an den Universitäten in Aarhus, Dänemark, und Kopenhagen, Dänemark Promotion in Informatik an der …
