Ein Vortrag im Rahmen des Siegener Tagess der konstruktive Analysis.

In this talk I first clarify what is meant by constructive mathematics (à la Bishop). Then I introduce the notion of apartness: first between points and sets, and secondly between sets and sets. The axiomatic theory of apartness spaces, begun by me and Luminita Simona Vîta in 2000 and subsequently taken up by a number of other mathematicians, provides a robust constructive framework for topology and the theory of uniform spaces. I will present the fundamentals of the theory, leading to the more interesting set-set case and revealing the interplay between apartness and uniform structures.

Wir laden alle Interessenten herzlich zum Vortrag ein.

Aktualisiert via XIMS am 8.2.2010