Mathematisches Kolloquium

Zusammenfassung: My talk will aim to argue for the thesis that the concept of set is not a simple, absolute notion but rather a complex, relative notion that should be understood in terms of more fundamental notions such as that of a class on a domain of objects. After an initial outline of the thesis I will briefly review the notion of set as presented in many University level textbooks on algebra and analysis and then review the history of the concept of set from Dedekind and Cantor to Goedel and Cohen, via Zermelo, Fraenkel and von Neumann. The last part of my talk will outline the constructive iterative notion of set that can be given in Martin-Lof's Constructive Type Theory (CTT). This notion of set can be used to give an interpretation of the standard Zermelo-Fraenkel axiomatic set theory, ZF, provided that the intuitionistic logic of CTT is made classical by adding the law of excluded middle.

Alle Interessierten sind hiermit herzlich eingeladen. Eine halbe Stunde vor dem Vortrag gibt es Kaffee und Tee im Sozialraum (Raum 448) im 4. Stock.

Treffpunkt zum Abendessen um 18.00 Uhr wird noch bekannt gegeben.