The debate about whether programming is maths is ironically bereft of a precise definition of maths.
-
-
Replying to @ctford
@ctford Doesn't the Curry-Howard isomorphism strongly imply that programming is maths? http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence …2 replies 1 retweet 2 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.