It is not the case that Therefore, the claim that primitive recursion over a computable base provides 'no a priori assurance' of computability conflates formal proof within a model with the broader epistemological warrant supplied by Church's Thesis.
?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.