Qual é a principal conclusão a partir do parágrafo seguinte sobre o problema da paralisação?
Em teoria da computabilidade, o problema de parada é o problema de determinar, a partir de uma descrição de um programa de computador arbitrário e uma entrada, se o programa terminará de executar ou continuará a executar para sempre. Alan Turing provou em 1936 que um algoritmo geral para resolver o problema de parada para todos os possíveis pares de programa / entrada não pode existir. Para qualquer programa f que possa determinar se os programas param, um programa "patológico" g, chamado com alguma entrada, pode passar sua própria fonte e sua entrada para f e, em seguida, fazer especificamente o oposto do que f prevê g vai fazer. Não pode existir f que lida com este caso. Uma parte fundamental da prova é uma definição matemática de um computador e programa, que é conhecida como uma máquina de Turing; o problema de parada é indecidível sobre máquinas de Turing. É um dos primeiros casos de decisão de problemas provados ser insolúveis. Esta é uma prova prática significativa para os esforços de computação, definindo uma classe de programação que possivelmente não pode executar aplicações de invenção perfeitamente.
O problema da paragem é insolúvel.