The interplay between classical and constructive mathematics

by Prof. Mohamed Barakat (Universität Siegen)

Tuesday 16 Dec 2025, 17:00 → 18:00 Europe/Berlin

H4 (Geomatikum)

This talk will address the historical controversy between classical and constructive mathematics and how it has evolved into a fascinating interplay between these two forms of mathematical reasoning. I will argue that classical mathematicians have good reasons to care more deeply about constructive mathematics.