Centre for Discrete Mathematics and Theoretical Computer Science


Hypercomputation


Hypercomputation, a term first introduced in 1999 by Jack Copeland and Diane Proudfoot, is a computation which cannot be simulated by any Turing computation. We are mainly interested in quantum hypercomputation and Turing accelerated computation.