Intorno ai confini della Turing computazione