From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

This edited collection brings together insights that weave together the intricate threads of constructive mathematics and its foundational principles. Readers will discover how concepts of sets, types, topology, and analysis interconnect in a way that makes the abstract more tangible.

In this warm and engaging exploration, Laura Crosilla and contributors delve into the practical ramifications of theoretical ideas, offering a fresh perspective for those curious about the deeper implications of mathematics. With lively discussions and accessible language, it invites mathematicians, educators, and enthusiasts alike to rethink how they approach the subject and its applications.