> shouldn't it, by definition, be computable

By which definition? Why does anything that is "physically grounded" and "achievable" be computable?

Meanwhile, I don't know what "physically grounded" and "achievable" mean in this context.