AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the foundations of constructive algebra in this illuminating lecture by Thierry Coquand, presented as part of the Hausdorff Trimester Program: Types, Sets and Constructions. Delve into the principles and methodologies of constructive mathematics as applied to algebraic structures, gaining insights into alternative approaches to traditional algebraic concepts. Over the course of an hour, examine key ideas and techniques that form the basis of constructive algebra, enhancing your understanding of this important field in mathematical logic and foundations.
