Mathematics·Research Seminar·Formal Methods & Type Theory · Joel David Hamkins · University of Oxford
1:51:47
Academic Discipline
Algorithms & Theory
Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.
14courses71standalone talks339total lectures
Subfields
Category Theory, Topos Theory & Set Foundations— Categories, functors, natural transformations, adjunctions, topos theory, Yoneda lemma, forcing, and Gödelian set foundations.
2 topicsjknavigate↵watchcchaptersssavexwatched
Save
Mathematics·Standalone Lecture·Formal Methods & Type Theory · Joel David Hamkins · University of Oxford
1:36:50
44:09
Mathematics·Research Seminar·Formal Methods & Type Theory · Vladimir Voevodsky · Institute for Advanced Study
50:13
1:15:14
Richard Southwell
55:57
1:19:25
15-750 · A Theorist's Toolkit · Lec 4·Combinatorics & Graph Theory · Ryan O'Donnell · Carnegie Mellon University
22:18
Foundations of Complex Systems · Lec 18·Categories, Functors, Adjunctions & Topos Theory · John Baez · Santa Fe Institute
1:22:21
1:22:00
15-750 · A Theorist's Toolkit · Lec 2·Algorithms & Data Structures · Ryan O'Donnell · Carnegie Mellon University
26:10
Showing 11 of 11 lectures12.1h shown