It is not the case that If hypercomputation models (Malament-Hogarth spacetimes, accelerating Turing machines) are physically realizable, non-determinism may access super-recursive classes unavailable to standard DTMs.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.