Mathematisches Kolloquium
Am Freitag, 9. Juni 2006, um 16 Uhr c.t. spricht
Prof. Dr. Peter Aczel
(Manchester University)
im Hörsaal E27 über das Thema
Constructive Mathematics and the sigma-completeness principle
Zusammenfassung: In my talk I will review some of the key ideas and motivations behind the constructive approaches to mathematics. Today there are several brands of constructive mathematics. Some of them, but not all, are incompatible with classical mathematics. For example in Brouwer's Intuitionist Constructivism every total function on the reals is continuous, while in Markov's Computable Constructivism every total function on the natural numbers is computable. The sigma completeness principle is a new principle that is incompatible with constructive mathematics but is relatively consistent with system CZF of constructive set theory. I will give some motivations for assuming this principle and explain why it is relatively consistent.
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 wird noch bekannt gegeben.