Mathematics·Standalone Lecture·Set Theory, Forcing, Large Cardinals & Incompleteness · Norman Wildberger · University of New South Wales
39:10
Academic Discipline
Mathematics
Linear algebra, real and complex analysis, topology, differential geometry, probability, combinatorics, and number theory.
18courses132standalone talks428total lectures
Subfields
Category Theory, Topos Theory & Set Foundations— Categories, functors, natural transformations, adjunctions, topos theory, Yoneda lemma, forcing, and Gödelian set foundations.
5 topicsjknavigate↵watchcchaptersssavexwatched
Save
Mathematics·Research Seminar·Formal Methods & Type Theory · Joel David Hamkins · University of Oxford
1:51:47
Mathematics·Standalone Lecture·Formal Methods & Type Theory · Emily Riehl · Johns Hopkins University
1:53:51
Mathematics·Standalone Lecture·Formal Methods & Type Theory · Joel David Hamkins · University of Oxford
1:36:50
Undergraduate Student Lectures · Lec 1·Set Theory & Proof Techniques · Vicky Neale · University of Oxford
47:48
Mathematics·Research Seminar·Topology & Geometry · Vladimir Voevodsky · Institute for Advanced Study
28:58
Introduction to University Mathematics (2026) · Lec 1·Calculus & Analysis · Vicky Neale · University of Oxford
1:14:56
Mathematics·Research Seminar·Formal Methods & Type Theory · Vladimir Voevodsky · Institute for Advanced Study
50:13
Mathematics·Public Colloquium·Set Theory, Forcing, Large Cardinals & Incompleteness · W. Hugh Woodin · Harvard University
55:19
Mathematics·Research Seminar·Set Theory, Forcing, Large Cardinals & Incompleteness · Joel David Hamkins · University of Oxford
1:29:09
Category Theory for Programmers · Lec 1·Categories, Functors, Adjunctions & Topos Theory · Bartosz Milewski · Independent Scholar
51:27
MATH 131 · Real Analysis · Lec 1·Category Theory, Topos Theory & Set Foundations · Francis Su · Harvey Mudd College
1:02:05
Optimization Bootcamp: Convex Optimization for ML & Control · Lec 5·Set Theory, Forcing, Large Cardinals & Incompleteness · Steve Brunton · University of Washington
14:25
Mathematics·Public Colloquium·Category Theory, Topos Theory & Set Foundations · Grant Sanderson · 3Blue1Brown
51:55
1:06:29
1:15:14
Category Theory for Programmers · Lec 2·Categories, Functors, Adjunctions & Topos Theory · Bartosz Milewski · Independent Scholar
54:10
Mathematics·Standalone Lecture·Set Theory, Forcing, Large Cardinals & Incompleteness · Norman Wildberger · University of New South Wales
24:38
Mathematics·Research Seminar·Category Theory, Topos Theory & Set Foundations · London Mathematical Society
40:29
Showing 20 of 56 lectures20.4h shown