> this case the outputs are discrete (e.g. binary: halts/does not halt, left/right, etc.) As you vary the inputs, the outputs change. This results in a continu

> this case the outputs are discrete (e.g. binary: halts/does not halt, left/right, etc.) As you vary the inputs, the outputs change. This results in a continuity. There is a question of ranges, but this is handled by a type system (even if that type is a pointer, you run through all memory for your function inputs).