Constructibility assumptions smuggle in a non-trivial ontological commitment — that resources are measurable by the same machine — which fails for non-uniform or oracle-augmented complexity classes.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
ontological commitment(Used to derive that literal truth of 'a is F' entails existence of a)
The criterion by which acceptance of a sentence as literally true commits one to the existence of the objects referred to by singular terms in that sentence, provided the sentence cannot be paraphrased away.