It is not the case that Mathematical proof, not empirical implementation, is the appropriate arbiter of what the Cobham-Edmonds thesis entails about computational boundaries.
?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.