Máquina de Turing e Teoria da Computabilidade: O Experimento Mental de Alan Turing e o 'Problema da Parada'