@psnively @runarorama @dibblego so, you mean that there's a Bijection between programming and math?
-
@JohnsonMats@psnively@dibblego It's almost as if there's an isomorphism between programs and proofs.
@runarorama @JohnsonMats @psnively Don't you go getting all mathy on me or I will send you some curry!
-
-
@dibblego@runarorama@JohnsonMats@psnively Delicious curry. :) Yes, there is an isomorphism. See e.g. Curry-Howard (http://tinyurl.com/Curry-Howard ). -
@mcarberg@runarorama@JohnsonMats@psnively and here I was going to send some howard! - Show replies
New conversation -
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.