YoVDO

Unavoidable Mathematics - Exploring Derived Concepts from Simple Theories

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Category Theory Courses Containers Courses Lenses Courses Kolmogorov Complexity Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.jl
The 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