Super-Turing computation