view wisdom/tanebventions: math @ 9768:fb644d569559

<shachaf> slwd tanebventions: math//s#the long#Curry\'s paradox, &#
author HackBot
date Wed, 23 Nov 2016 23:05:52 +0000
parents 86938cf76b6f
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.