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

Follow

@grainloom you are right, in intuitionist mathematics the computational functions R->R do not include these discontinuous pathological functions like the one you described

Sign in to participate in the conversation
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !