Em 1900, o grande e influente matemático David Hilbert, no congresso internacional de matemáticos, anunciou os 23 problemas que deveriam nortear a pesquisa no séc. 20. Entre eles, o décimo, sobre um algoritmo para busca de raízes de equações diofantinas (com coeficientes e variáveis reais), foi estudado por nada menos que Alan Turing, que na…