When given an algorithm to solve a problem it was clear that it was indeed an algorithm, yet there was no definition of an algorithm which was rigorous enough to allow one to prove that none existed.
Kapag ibinigay ng isang algorithm upang malutas ang isang problema, ito ay malinaw na ito ay sa katunayan ng isang algorithm, pa doon ay walang kahulugan ng isang algorithm na kung saan ay mahigpit na sapat upang payagan ang isa upang patunayan na wala nabuhay.