About Logic with Seunghyun Song and Jordi Fairhurst

This is a really interesting insight into mathematical practice and mathematical politics!

46:25 On navigating unkind epistemic environments. 

See About Logic with Andrej Bauer. 

Subscribe to About Logic. 

This reminds me that I haven't watched Norman Wildberger's latest: 

And here's his previous talk on multisets: 

They're just vector spaces, I think. See Gabriele Carcassi on The Correspondence Between Quantum and Classical Mechanics. 

Here's the Algebraic Calculus playlist (YouTube channel members only.) 

Subscribe to Norman Wildberger. 

And I haven't listened to this yet, but it sounds quite interesting: 

He is using this idea to introduce category theory (or maybe I'm just being epistemically over-friendly?) 

From the video description:

A finite-dimensional vector space is isomorphic to its dual, but only if you pick a basis. It's also isomorphic to its double dual, and that isomorphism requires no choices at all. Mathematicians called the second kind "natural" long before anyone could say what that meant precisely. In 1945, Samuel Eilenberg and Saunders Mac Lane invented an entire branch of mathematics to make the distinction rigorous. The framework they built, consisting of categories, functors, and natural transformations, turned out to capture something far more general than its origin. This video builds category theory from the ground up: categories as the minimal axioms for composition, functors as structure-preserving translations between mathematical domains, natural transformations as the maps that commute with everything, universal properties as the principle that what a construction does matters more than what it's made of, and adjunctions as the paired constructions that tie it all together.

This is the same person who made these videos: Lambda Calculus to System-F. 

Subscribe to Computable Secrets. 

Ben Syversen on Archimedes method:

Subscribe to Ben Syversen.