Graduiertenkolleg Mathematische Logik und Anwendungen

Das Graduiertenkolleg "Mathematische Logik und Anwendungen" wird getragen von Informatikern der Technischen Fakultät aus Freiburg und von Logikern der Fakultäten für Mathematik und Physik bzw. für Mathematik und Statistik der Universitäten Freiburg und Konstanz. Es will die Verflochtenheit von Logik und Mathematik/Informatik in Forschung und Lehre intensivieren und vorhandene Kompetenzen durch ein attraktives Lehr- und Forschungsprogramm weitergeben. Entsprechend liegen die Forschungsschwerpunkte des Kollegs, "Model-Checking" und "Modelltheorie arithmetischer Strukturen", im Grenzgebiet zwischen Mathematischer Logik und Informatik.

Im 20. Jahrhundert hat sich die Mathematische Logik von einer zunächst mehr grundlagentheoretisch orientierten Wissenschaft zu einer mathematischen Disziplin erweitert, deren Sichtweisen, Methoden und Ergebnisse zu einer Bereicherung traditioneller mathematischer Gebiete beitragen. Mannigfaltige Verflechtungen mit der Informatik, die in Teilen selbst aus der Mathematischen Logik hervorgegangen ist, haben zu einer wechselseitigen Förderung beider Wissenschaften geführt. Die Arbeit Informatiker aus Freiburg und der Logiker aus Freiburg und Konstanz war schon vor Einrichtung des Graduiertenkollegs in weiten Teilen durch diese Bezüge geprägt.