Beyond the Turing machine