Doctrines for Formal Mathematics

Offered By: Hausdorff Center for Mathematics via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore the foundations of formal mathematics through a comprehensive lecture on doctrines. Delve into advanced mathematical concepts and their applications in formalizing mathematical structures. Gain insights into the intricate relationships between different mathematical theories and their underlying principles. Discover how doctrines serve as powerful tools for organizing and understanding complex mathematical ideas. Enhance your understanding of abstract mathematics and its role in modern mathematical research.

Syllabus

Davide Trotta: Doctrines for Formal 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