A Ilusão da Previsibilidade Absoluta
Esta seção introduz a base matemática do nosso problema. Na Engenharia de Controle, a intuição dita que sistemas com regras estritas são perfeitamente previsíveis. No entanto, a teoria da computação nos ensina que, em sistemas Turing-completos, certas previsões são matematicamente impossíveis. Aqui exploraremos o Problema da Parada de Alan Turing, que prova a inexistência de um algoritmo universal capaz de prever falhas ou travamentos (loops infinitos) em todos os cenários.
O Problema da Parada (Halting Problem)
Formulado na década de 1930, o problema questiona: dado um código e uma entrada, existe um super algoritmo capaz de prever, com 100% de certeza, se esse código irá parar de rodar ou entrará em um loop infinito?
Resposta de Turing: É matematicamente impossível. O problema é INDECIDÍVEL. Se IAs e robôs são Turing-completos, eles herdam essa limitação irrevogável.