It's not hard to wright down hypothetical non-computable that can nonetheless be tested. Note in particular that while both QM and GR are both theoretically computable, actually computing anything beyond the absolute very simplest examples with either of them is beyond our ability.