@St_Rev As a computer scientist, he’s primarily interested in finite domains…
@St_Rev Well, you need the implementation to prove that you can use the axioms without worry. Then you can throw away the implementation.
-
-
@Meaningness I don't understand. I guess that's in the article though. -
@St_Rev I haven’t read the article; I don’t know! Looks like a lot of machinery, I’m afraid, and not much in the way of theorems.
End of conversation
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.