Unavoidable Mathematics - Exploring Derived Concepts from Simple Theories
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
Explore the fundamental concepts that arise naturally from basic mathematical constructions in this 34-minute lecture by Jaques Carette. Delve into the unexpected richness of simple theories, examining how Universal Algebra and Category Theory lead to a wealth of derived mathematical and computer science concepts. Discover how even elementary theories can produce scarcely known material and give rise to contemporary mathematical interests such as containers, lenses, and inhabited spaces. Investigate the subtle issues that emerge, including setoids and decidability, and gain insight into the complex tapestry of concepts that exist at the "low Kolmogorov complexity" end of theory exploration. Uncover the surprising depth and interconnectedness of mathematical structures in this thought-provoking presentation from the Hausdorff Center for Mathematics.
Syllabus
Jaques Carette: Unavoidable Mathematics
Taught by
Hausdorff Center for Mathematics
Related Courses
Unleashing Algebraic Metaprogramming in Julia with Metatheory.jlThe Julia Programming Language via YouTube COSC250 - Functional and Reactive Programming
Independent Free as in Monads - Understanding and Applying Free Monads - Lecture 44
ChariotSolutions via YouTube Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube