hypercomputation

hypothetical models of computation that can provide outputs that are not Turing-computable