Andrej Bauer: "Konstruktivna matematika: kdo jo potrebuje"

Na tokratnem seminarju bom imel generalko za predavanje na Univerzi v Bergenu na Norveškem. Predavanje bo v angleščini:

Abstract: A popular story says that Hilbert defeated Brouwer's intuitionism so that mathematicians could live happily ever after in Cantor's set-theoretic paradise. But has the story come to an end? Constructive mathematicians cannot be counted on the digits of a single hand anymore, especially if we include those working in computer science departments. But what does constructive mathematics have to offer to the working mathematician for whom neither computer science nor philosophy of mathematics are a primary concern? After reviewing some basic facts about constructive mathematics, and rectifying the common misconceptions about it, we will explore mathematical ideas and forms of expression that are possible constructively but forbidden classically. These paint new pictures of old subjects that mathematicians care about. The apparent dichotomy between the constructive and classical worlds of mathematics will be criticized, and means of bringing them both together under a grander, unifying view will be sought.