view wisdom/tanebventions: math @ 9983:b4b5bb1ac820

<moonheart08> ` sed \'s/shift/shift 1/\' bin/pad > bin/pad
author HackBot
date Thu, 15 Dec 2016 01:58:38 +0000
parents fb644d569559
children 4563c2f2fd07
line wrap: on
line source

Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, Curry's paradox, the long line, locales, and histograms.