Explique o 'Problema da Parada' de Alan Turing e suas consequências filosóficas para a ciência da computação. Discuta como a impossibilidade de determinar, para qualquer programa arbitrário e entrada, se ele terminará ou continuará rodando indefinidamente, afeta a nossa compreensão sobre o que pode ser conhecido ou provado dentro de sistemas formais. Relacione isso com a conceituação de onisciência algorítmica.