If mathematics were like software, we'd need to apply dozens of corrective terms to keep the Pythagorean Theorem true over the ages.
-
-
This was basically my point. PT is arguably a statement about reality more than a theorem.
1 reply 0 retweets 0 likes -
This Tweet is unavailable.
-
2 replies 0 retweets 1 like
-
Replying to @RadishHarmers @sigfpe
Also on nLab and elsewhere. Incidentally,
@TimSweeneyEpic won't remember this, but he was the one who…1 reply 0 retweets 0 likes -
originally told me to learn Haskell when I was in HS and interested in game dev, thus…
1 reply 0 retweets 1 like -
in some sense setting me off toward becoming a category theorist.
2 replies 0 retweets 0 likes
Replying to @RadishHarmers @sigfpe
I set out to write a game and ended up with an engine. You went two levels of abstraction further!
3:41 PM - 18 Mar 2017
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.