FG1 Seminar talk

2013-05-03
Stefan Hetzl
Formale Beweise, der Satz von Herbrand und Baumsprachen

Abstract:
In diesem Vortrag geht es um ein Resultat, das die Beweistheorie mit der Theorie formaler Sprachen verbindet. Ich werde am Anfang die zugrundeliegenden Begriffe und Motivationen aus diesen beiden Gebieten vorstellen, dann das Resultat beschreiben und am Ende einige offene Probleme und Anwendungen besprechen.