The Eternal Doorman

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 .

This is a bit short on science, but interesting: see  New science in plain sight: Citizen scientists lead to the discovery of optical structure in the upper atmosphere : A glowing ribbon of purple light running east-west in the night sky has recently been observed by citizen scientists. This narrow, subauroral, visible structure, distinct from the traditional auroral oval, was largely undocumented in the scientific literature and little was known about its formation. Amateur photo sequences showed colors distinctly different from common types of aurora and occasionally indicated magnetic field–aligned substructures. Observations from the Swarm satellite as it crossed the arc have revealed an unusual level of electron temperature enhancement and density depletion, along with a strong westward ion flow, indicating that a pronounced subauroral ion drift (SAID) is associated with this structure. ...  And without FaceBook it would never have happened! Subscribe to  Real Storie...

She's quite good at it, ... Subscribe to Kim Iversen .