Giovanni Sambin - Pointfree Topology Is Real and Pointwise Is Ideal

Explore a lecture that delves into the synthesis of formalism and intuitionism in mathematics, introducing a dynamic perspective that preserves various types of information. Learn about the concept of pointfree topology and its importance in maximizing effectivity in mathematical reasoning. Discover how positive topology enriches and generalizes previous notions such as locales and formal topologies. Examine the effective, pointfree definitions of mathematical structures like Baire space, real numbers, Zariski topology, and Scott domains. Understand the relationship between pointfree and pointwise approaches, and the importance of conservativity results in bridging real and ideal mathematics. Gain insights into the development of topology based on sets rather than points, and how this approach can coexist with spatial intuition and ideal notions like choice sequences.