Proseminar |
LV-Nummer | 11.154 | |||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Veranstalter: | PD Dr. Benedikt Löwe,
email:
bloewe@science.uva.nl |
|||||||||||||||||||||||||||||
Inhalt: |
Die mathematische Logik beschäftigt sich mit Fragen der Metamathematik, d.h. mathematische Fragen über Möglichkeiten der Mathematik. Ein typische Frage der Metamathematik ist z.B. "Gibt es Sätze der Zahlentheorie, die zwar in N wahr, aber nicht in einem formalen System beweisbar sind?" Um eine solche Frage mathematisch zu behandeln, bedarf es einer adäquaten formalen Beschreibung der in ihr vorkommenden Begriffe wie "wahr", "formales System" und "beweisbar". In diesem Proseminar werden diese Grundbegriffe erläutert und ihre Eigenschaften im Falle der Prädikatenlogik betrachtet. Wir behandeln außerdem Anwendungen auf einschlägige mathematische Theorien (Gruppen, Ordnungen, Zahlentheorie, Theorie der reellen Zahlen). | |||||||||||||||||||||||||||||
Ziel: | Einführung in die Denkweise und elementare Technik der Metamathematik. | |||||||||||||||||||||||||||||
Für: | Studierende der Mathematik (und ggf. mathematisch begabte Studierende anderer Fächer mit Interesse an der Logik und der Metamathematik). | |||||||||||||||||||||||||||||
Vorkenntnisse: | Spezifische Vorkenntnisse sind nicht nötig. Mathematische Reife (d.h. Erfahrung mit dem Erarbeiten von mathematischen Beweisen anhand eines gegebenen Textes) wird vorausgesetzt. | |||||||||||||||||||||||||||||
Literatur: | Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, "Einführung in die mathematische Logik", € 20. | |||||||||||||||||||||||||||||
Teilnehmer: | Michael Deppe, Solvejg Glatz, Ulrike Hackmann, Jan-Andre König, Philipp Levermann, Christina Schulte, Maike Sörensen | |||||||||||||||||||||||||||||
Zeit und Ort: |
Das Proseminar wird als zweitägige Blockveranstaltung am 17. und 18. Februar 2006 angeboten: Raum 241. |
|||||||||||||||||||||||||||||
Zeitplan: |
|