http://www.w3.org/ns/prov#value | - It suffices to note that by precisely the same argument you could claim that a classical analog computer may compute NP problems easily: Just partition classical phase space into a denumerable number of subsets and pick a system whose energy is a non-computable function of the ordinal associated to each such subset.
|