Bonn Mathematical Logic Group

Hauptseminar Mathematische Logik - Logik und Linguistik v. E. Landau "Grundlagen der Analysis"

Bachelor of Science Mathematik S2A2

Organizer

Time and place

Freitag 10-12, Endenicher Allee 60, raum 0.006.

Contents

Logik und Linguistik von E. Landaus "Grundlagen der Analysis"

Wer schon einmal längere Beweise im Stil der Prädikatenlogik gelesen oder selbst geführt hat, wird bemerkt haben, dass sich voll formalisierte Beweise stark von der Art unterscheiden, wie Mathematik in der Praxis tatsächlich dargestellt wird. Das Naproche-Projekt untersucht den Zusammenhang zwischen beiden Beweiskonzepten mit dem Ziel, ein algorithmisches Prüfverfahren für die Korrektheit natürlichsprachlicher Beweise zu entwickeln.

Im Seminar wollen wir Gemeinsamkeiten und Unterschiede beider Konzepte entlang eines Textes herausarbeiten, in dem ein kleinschrittiger und logisch genauer, aber dennoch für menschliche Leser vorgesehener Aufbau der klassischen Zahlbereiche geleistet wird: Edmund Landaus "Grundlagen der Analysis".
Weiterhin werden wir die Techniken aus der mathematischen Logik und formalen Linguistik kennen lernen, die nötig sind, um natürlichsprachliche mathematische Texte zu repräsentieren und maschinell zu verarbeiten.

Vorträge
30.10.2009: Richard Schüller - Die Syntax der Prädikatenlogik erster Stufe
06.11.2009: Andrew Anthony - Die Semantik der Prädikatenlogik erster Stufe
20.11.2009: Arian Bourghan Farahani - Der Sequenzenkalkül

30.11.2009: Vortrag von Jeremy Avigad im Oberseminar zur mathematischen Logik

04.12.2009: Johannes Niediek - Formale Linguistik und Diskursrepräsentationstheorie
11.12.2009: Kai Kenklies - Beweisrepräsentationstheorie und Proof-Checking

18.12.2009: Vortrag von Aarne Ranta im Seminar zur formalen Mathematik, 15.15-16.45, Raum 006

08.01.2010: John Schmid - Landaus Aufbau der natürlichen Zahlen und seine Darstellung in Naproche
15.01.2010: (tba) - Landaus Aufbau der reellen Zahlen und die Grenzen des bisherigen Systems
22.01.2010: Daniel Kühlwein - Die Auswahl von Prämissen in der aktuellen Naproche-Version

 

Last changed: July 30, 2009