It is not the case that An 'a priori gap' may persist epistemically: even if formally proven equivalent, why believe the models capture *all* computability? Proof doesn't address scope questions.
?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.