Transferring computability via model equivalence assumes the property is *structural* and *model-invariant*; this itself requires justification independent of the equivalence proof.
?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.
The study of what problems can or cannot be solved by following a step-by-step procedure (algorithm) on a computer.
independent justification(Epistemology of justification transmission)
Justification that appears intuitively independent of the original justification for a proposition q; more precisely, transmitted justification for q that is additional and independent when three counterfactual conditions are met: the subject was already justified in believing q before acquiring the new evidence, remains justified during acquisition, and would have gained a first-time justification via transmission had no prior justification existed