Algebra 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.