ProjektDoktorandenbetreuung – Verlängerung des Betreuungskostenzuschusses im Rahmen von Forschungsstipendien -…
Grunddaten
Akronym:
Doktorandenbetreuung
Titel:
Verlängerung des Betreuungskostenzuschusses im Rahmen von Forschungsstipendien - Promotionen in Deutschland
Laufzeit:
01.04.2016 bis 31.03.2019
Abstract / Kurz- beschreibung:
Betreuung der Promotionen von zwei DAAD Stipendiaten zu den Themen "Über Identität und Semantik von Beweisen" und "Beweistheoretische Rechtfertigung von logischen Gesetzen".
Schlüsselwörter:
Mathematische Logik
Sprachphilosophie
Beweistheorie
proof theory
Beteiligte Mitarbeiter/innen
Leiter/innen
Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Lokale Einrichtungen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik
Mathematisch-Naturwissenschaftliche Fakultät
Mathematisch-Naturwissenschaftliche Fakultät
Geldgeber
Bonn, Nordrhein-Westfalen, Deutschland