Hypercomputation models (Malament-Hogarth spacetimes, Turing's o-machines) permit decision procedure...