albert-Ludwigs-Universität Freiburg
Institut für mathematische Logik und Grundlagen der Mathematik

[Homepage] [Institut] [Personen] [Vorlesungen] [Preprints] [Links]

Proseminar über Logik im SS 1998

H.-D. Ebbinghaus
I. Kraus

Mi 18-20 Uhr und Do 8-10 Uhr
Seminarraum 318, Eckerstr 1

Das Proseminar befaßt sich mit einer Verallgemeinerung des Aufbaus der reellen Zahlen über Dedekindsche Schnitte, wie er in dem Buch On Numbers and Games von J.H. Conway dargestellt wird. Teile des Proseminars folgen zunächst dieser Darstellung. Anschließend sollen einige grundlegende Fragen zur axiomatisierung der reellen Zahlen behandelt werden. Genaueres hierzu in einer Vorbesprechung, die am

Dienstag, 10.2.1998, 13 Uhr s.t. im SR 318, Eckerstraße 1

stattfindet. Dort werden auch die ersten Vortragsthemen vergeben.

Aufgrund der großen Nachfrage wird das Proseminar doppelt gehalten.


30. April 1998 Markus Frick