Il problema della decisione di Hilbert chiedeva se esistesse un metodo algoritmico generale per stabilire la verità di ogni formula logica. I lavori di Gödel, Church e Turing hanno dimostrato che tale metodo non esiste:…