| http://www.w3.org/ns/prov#value | - Since P cannot be the solution to the halting problem (there is no such solution), it follows that T exists such that is impossible to either prove or disprove it halts.Moreover, all known physics including superstring theory is computable, as far as I can tell.
|
