ProjektDoktorandenbetreuung – Betreuungskostenzuschuss im Rahmen des Stipendienprogramms Forschungsstipendien für…
Grunddaten
Akronym:
Doktorandenbetreuung
Titel:
Betreuungskostenzuschuss im Rahmen des Stipendienprogramms Forschungsstipendien für Doktoranden und Nachwuchswissenschaftler
Laufzeit:
01.04.2015 bis 31.03.2016
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