It is not the case that The supporting arguments conflate the absence of native recursion syntax in a model with the absence of semantic equivalence, but proven inter-reducibility of models dissolves that gap at the level of extensional computability.
?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.