The Eternal Doorman

See  https://graphicallinearalgebra.net/ ,  https://homotopy.io/ and  Brendan Fong and David Spivak - Seven Sketches in Compositionality: An Invitation to Applied Category Theory . See  Richard Southwell on Coxeter Groups  and  Discrete Mathematics from which this is a kind of follow-up. Also  Daniel Tubbenhauer Explaining What Lie Groups and Lie Algebras Are . It's also an appeal to studying things by translating them into other languages: see  Mark Jago on Type Theory in Computer Science, Logic and Linguistics . See also  Ian Clarke on Freenet . The final screen: adding complex numbers Subscribe to  Richard Southwell . Norman Wildberger's take on complex numbers: ... and quaternions, ... Recovering the algebra: Subscribe to  Insights into Mathemathematics . John Baez - The periodic Table of n-Categories.  He starts by explaining why it is that "categorification" seems ad hoc : it's because it's to undo an accidental decateg...

See  John Campbell on mRNA Vaccines  and  John Campbell and Claire Craig on COVID and mRNA Vaccines . 10:29 It's absolutely astonishing that these don't show up in autopsies, only in embalming. Ask the Pathological Society of Great Britain and Ireland (I thought that was a joke, but it's not!)  Subscribe to Dr John Campbell . See in particular the part ( 3:10 ) where she explains what she means by banality . Subscribe to Philosophy Overdose .

It's really, really interesting to see what sort of things this medium can do. Lot's of it is quite counter-intuitive. See the previous talk here:  Inductiva - Chantal Roth on Fundamental Physical Models . See the models at  https://jsfiddle.net/u/Chenopdodium/collection/spin-1-2/  and  https://jsfiddle.net/u/Chenopdodium/collection/wave-vs-particle/ . Subscribe to Inductica . 

13:42 A modality is a Monad on Propositions (and the theory of a monad is decidable! See  Oracle modalities  by Andrew W Swan  and  Andrej Bauer and Ronald Brown On Monads and Groupoids and Alexander Grothendieck on his idea for a Science Fiction Novel on Motives ). To understand this idea you need to be able to understand Kleene's notion of Realizability and Hyland's Effective Topos  which depends heavily upon Tripos Theory , a tripos  here is "a topos-representing, indexed, pre-ordered set".  Kleene's attempts to interpret intuitionistic logic were all more than a little weird, I suspect he had dubious motives. See Markov's principle  and Realizability .  Intuitionistic logic is in a sense strictly more expressive than classical logic. See  Emily Riehl on Univalent Foundations . Subscribe to  Types and Topology Workshop . Dr. Martin Escardo on Searchable sets and ordinals in system T given at a six month 2012 programme called...

Wow, I just discovered what a nightmare react is. You're out of your minds! See  Building a Simple Virtual DOM from Scratch . Subscribe to  Tech Talks YLD .

See  Probability in many-worlds theories by Anthony J. Short : We consider how to define a natural probability distribution over worlds within a simple class of deterministic many-worlds theories. This can help us understand the typical properties of worlds within such states, and hence explain the empirical success of quantum theory within a many-worlds framework. We give three reasonable axioms which lead to the Born rule in the case of quantum theory, and also yield natural results in other cases, including a many-worlds variant of classical stochastic dynamics.   See also  Mark Jago on Type Theory in Computer Science, Logic and Linguistics  and Robinson Erhardt - Tim Maudlin & Jacob Barandes: The Indivisible Approach to Quantum Theory .  Subscribe to Dr Maria Violaris .

First an introduction: My comment : This is great! For a long time I have been thinking that someone (I guess it's me!) should produce a system that allows people who are studying these different logical formalisms to fairly easily write formal descriptions of translations from one to the other and also to formally prove things about the translations and maybe about these translation processes themselves (You would want a very expressive system like HoTT with Univalence to do this though. See Voevodsky's comment at 2016 Heidelberg Laureate Forum "... it came out, as a result of practical work on formalization we just discovered that the law of excluded middle and axiom of choice can be avoided in the univalent foundations much more successfully than they can be avoided in set theory, so things which can not be done without them in set theory can be done without them in the univalent foundations, so then there was this understanding that the classical mathematics appears as...

It's really great to see how all the maths was developed and how the physical theories followed. Often it seems that it was the mathematical developments that gave the physicists the ideas about which models would yield solvable equations! See  Jorge Diaz on Heisenberg's "Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen"  and  Robinson Erhardt - Tim Maudlin & Jacob Barandes: The Indivisible Approach to Quantum Theory . These two fill in some more gaps: In this one we get a look ( 7:45 ) at how Dirac "unified" the Heisenberg and Schrödinger pictures. See  Gabriele Carcassi on Why Statistical Mechanics is Fundamental in Physics :   See also his recent short essay:  How fundamental physics progresses . I looked into his claim that Maxwell's electrodynamics followed from a mathematical inconsistency in Ampere's law. That may be what actually happened, but it is hard to say whether the inconsistency was purely mathematica...

Watch right through to the end, ... in 2013 there was a near miss in almost identical conditions, an inquiry was conducted and a recommendation made to close that Helicopter route, but the FAA took no action. See  The Evolution of Air Traffic Control Procedures . One of the NTSBs findings was that there were inadequate mechanisms for sharing information between the different agencies involved. They don't have FaceBook pages then? How come? Dan has a film production company called Serendipitous: see  https://s-films.com/about/ Subscribe to Taking Off .