Para ello debían desarrollar la noción precisa de "método para resolver problemas", es decir, la definición formal de "algoritmo".