How are you defining computable here? We have the theorem that type 2 computable maps are continuous
Would you run into computability issues since these maps aren't continuous/computable?
How are you defining computable here? We have the theorem that type 2 computable maps are continuous