The ability to simulate non-deterministicTuring machines efficiently is a feature, not a disqualification, if one's criterion for reasonableness is computational power relative to physical resources.
?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.
A formal computational model defined to study the notion of computation, containing elementary arithmetic and capable of expressing universality, negation, and self-reference
deterministic(describing the nature of the empirical world)
Operating under the principle that every event is caused by prior events in an unbreakable chain, leaving no room for genuine freedom or choice.