O que Gödel e Turing descobriram na década de 1930 foi monumental. Na minha concepção, são descobertas tão importantes quanto as teorias da relatividade de Einstein. Não sei por que a grande imprensa deu mais publicidade ao que Einstein descobriu e muito menos, ou nenhuma, às descobertas de Gödel e Turing. Talvez seja porque as descobertas deles sejam mais difíceis para um leigo entendê-las. Envolvem muita abstração e lógica.