mathwithbaddrawings.com
Everything Is Linear (Or, the Ballad of the Symbol Pushers) | Math with Bad Drawings
https://mathwithbaddrawings.com/2015/07/08/everything-is-linear-or-the-ballad-of-the-symbol-pushers
Math with Bad Drawings. Math, teaching, copious metaphors, and drawings that will never ever earn a spot on the fridge. Skip to primary content. Everything Is Linear (Or, the Ballad of the Symbol Pushers). July 8, 2015. What is the biggest problem facing humanity this week? The threat of Grexit. The bittersweet knowledge that someday, when all of this has passed, we’ll have fewer opportunities to use the amazing word Grexit. People thinking functions are linear when they’re SO NOT LINEAR. This is called ...
pigworker.wordpress.com
Warming up to Homotopy Type Theory | pigworker in a space
https://pigworker.wordpress.com/2015/04/01/warming-up-to-homotopy-type-theory
Pigworker in a space. Confessions of a relentlessly staggering blunderer in the mindfield. Warming up to Homotopy Type Theory. April 1, 2015. 8220;Why do you hate homotopy type theory? Because we start from the strange idea that equality is some sort of inductive definition. Id (X : *)(x : X)(y : X) : * refl (X : *)(x : X) : Id X x x. Which already places too much faith in the disappointing accident that is the definitional equality of an intensional type theory, and then we add an eliminator with a comp...
mathwithbaddrawings.com
Infinity Plus One: Please Check Your Intuitions at the Front Desk | Math with Bad Drawings
https://mathwithbaddrawings.com/2015/07/01/infinity-plus-one-please-check-your-intuitions-at-the-front-desk
Math with Bad Drawings. Math, teaching, copious metaphors, and drawings that will never ever earn a spot on the fridge. Skip to primary content. Infinity Plus One: Please Check Your Intuitions at the Front Desk. July 1, 2015. The first post in a finite series. If there’s one thing about math that people love and to make it through the average day, I have to believe there’s at. Throw the word into a math lesson, and ears perk up. Did he say infinity? Only the universe is. So we settle for naming what it.
