BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:5439-4554@fg-dedsys.gi.de
CLASS: PUBLIC
SUMMARY:Welt-Logik-Tag 2023
DESCRIPTION:Prof. Dr. Reinhard Kahle (Universität Tübingen) hält am Freitag
 , den 13.01.2023, um 14:00 Uhr einen Festvortrag "Gerhard Gentzen (1909-194
 5): Leben und Werk" über das Leben und Werk des gebürtigen Greifswalders un
 d einflussreichen Logikers Gerhard Gentzen.  Zusammenfassung: Der Mathemati
 ker und Logiker Gerhard Gentzen wurde 1909 in Greifswald geboren. Während s
 eines Studiums in Göttingen war er ein wichtiger Mitarbeiter beim Hilbertsc
 hen Programm. Dabei handelt es sich um einen Versuch, mit dem David Hilbert
  die Sicherheit der üblichen mathematischen Schlußweisen gegen die Gefahr d
 er Paradoxien und andere philosophische Angriffe verteidigen wollte. Dieses
  Programm wurde durch die Resultate von Kurt Gödel als in seiner ursprüngli
 chen Form undurchführbar erwiesen. Gentzen zeigte aber, wie das eigentliche
  Anliegen Hilberts auf der Grundlage einer Liberalisierung der philosophisc
 hen Grundlage zumindest für die Arithmetik gerettet werden kann. Mit seiner
  Arbeit hat Gentzen nicht nur der mathematischen Beweistheorie eine neue Pe
 rspektive gegeben, die bis heute die Forschung bestimmt. Seine grundlegende
 n Überlegungen zum formalen Beweisbegriff haben später auch Anwendungen in 
 der Informatik gefunden. In diesem Vortrag werden wir dementsprechend auf d
 ie mathematische, philosophische und informatische Bedeutung von Gentzens W
 erk eingehen.  Alle Interessierten sind herzlich eingeladen!
LOCATION:Aula der Universität Greifswald
DTSTAMP:20230103T124048Z
DTSTART:20230113T130000Z
DTEND:20230113T150000Z
END:VEVENT
END:VCALENDAR