Campus Event Calendar
Event Entry
What and Who
Beweistheorie. Oder: Was ist ein Beweis?
Matthias Horbach
Max-Planck-Institut für Informatik - RG1
Ringvorlesung
AG 1, AG 3, AG 5, RG2, AG 2, AG 4, RG1, SWS
Public Audience
German
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 25 May 2007
13:15
60 Minutes
E2 5 - Mathematik
HS III
Saarbrücken
Abstract
Die inzwischen in der Informatik beheimatete Beweistheorie entwickelte sich ursprünglich aus der Hoffnung vieler Mathematiker, eines Tages alle Probleme der Mathematik automatisch lösen zu können.
Ich werde einen kurzen Überblick über die Entwicklung dieser Disziplin geben und anhand von Beispielen die Probleme vorstellen, die sich Beweistheoretikern stellen. Zum Beispiel die bis heute nur teilweise gelöste Frage, wann zwei Beweise gleich sind.
Contact
math-vl
Uni-2230
--email hidden
passcode not visible
logged in users only
math-vl, 05/18/2007 13:11
math-vl, 05/18/2007 13:11 -- Created document.
math-vl, 05/18/2007 13:11 -- Created document.