@Meaningness eg f: R -> [0,1) given by f(x) = x mod 1
-
-
@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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.