# HG changeset patch # User HackBot # Date 1479942352 0 # Node ID fb644d569559bf22d36d1a93809f8d9be8386f4f # Parent 3fdf4719b8ab7dd4199832f84d941b26209570fb slwd tanebventions: math//s#the long#Curry\'s paradox, &# diff -r 3fdf4719b8ab -r fb644d569559 wisdom/tanebventions: math --- a/wisdom/tanebventions: math Wed Nov 23 05:32:35 2016 +0000 +++ b/wisdom/tanebventions: math Wed Nov 23 23:05:52 2016 +0000 @@ -1,1 +1,1 @@ -Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, the long line, locales, and histograms. +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.