Mathematisches Kolloquium
Am Freitag, 14. Dezember 2007, um 16 Uhr c.t. spricht
Prof. Dr. Thierry Coquand
(Göteborg University)
im Hörsaal E27 über das Thema
Infinite objects in constructive mathematics
Zusammenfassung: We survey some recent works in constructive mathematics, mainly in algebra. These works deal with the status of infinite objects, using ideas from point-free topology in an essential way. They can be seen as a partial realization of Hilbert's program for a non trivial subset of contemporary mathematics. A prime example will be the space of valuations of an integral domain, which has its roots in an early instance of an explicit point-free presentation of a space in mathematics (1882, Dedekind-Weber).
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.