Sort of. The basic thing I’m trying to point at is that without more assumptions, the standard tools allow you too much freedom to compute things, and thus you need to restrict the model more to ensure that only the traditional computable functions are actually computable.
Sort of. The basic thing I’m trying to point at is that without more assumptions, the standard tools allow you too much freedom to compute things, and thus you need to restrict the model more to ensure that only the traditional computable functions are actually computable.