Halting Problem

O problema fundamental em ciência da computação de determinar, a partir de uma descrição de um programa de computador arbitrário e uma entrada, se o programa terminará a execução ou continuará a ser executado para sempre.