Stone Duality and Its Formalization
Offered By: Centre International de Rencontres Mathématiques via YouTube
Course Description
Overview
Explore Stone duality and its formalization in this conference talk delivered by Sam van Gool at the Centre International de Rencontres Mathématiques in Marseille, France. Recorded during the thematic meeting "LEAN pour mathématiciens" on March 25, 2024, this hour-long presentation delves into the intricacies of Stone duality and its mathematical formalization. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which offers features such as chapter markers, keywords for selective viewing, enriched content including abstracts and bibliographies, and a multi-criteria search function for easy navigation through mathematical topics and speakers.
Syllabus
Sam van Gool: Stone duality and its formalization
Taught by
Centre International de Rencontres Mathématiques
Related Courses
Digital System DesignIndian Institute of Technology, Ropar via Swayam Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course)
Hebrew University of Jerusalem via Coursera 系统平台与计算环境
Xi'an Jiaotong University via Coursera 计算导论与C语言基础
Peking University via Coursera Comparative Research Designs and Methods
University of Naples Federico II via Federica