A claim whose negation would require positing an effective procedure that resists all known formal c...