> If we assume that that function is computable in the Turing sense This is a big assumption. I'm not saying it's wrong, but I am saying it's not reasonable to

> If we assume that that function is computable in the Turing sense This is a big assumption. I'm not saying it's wrong, but I am saying it's not reasonable to just handwave and assume that it's right.