it's weird that in math you can talk about a function f(x) that returns x if x is a rational number and -x otherwise
i'm like 99.999% sure there is no way to express that as actual computation
@grainloom you are right, in intuitionist mathematics the computational functions R->R do not include these discontinuous pathological functions like the one you described
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !