En términos de programación informática , Hilbert solicitaba a sus colegas del futuro un algoritmo capaz de admitir como entrada ("input") una ecuación diofántica cualquiera, y de devolver SÍ como resultado ("output") si la ecuación procesada tenía soluciones en números enteros o NO si la ecuación procesada carecía de soluciones en números enteros.