Post had proved that for semigroups no such algorithm exist. Turing thought at first that he had proved the same result for groups but, just before giving a seminar on his proof, he discovered an error.
Turing-iisip sa unang na niya proved ang mga resulta para sa parehong grupo ngunit, lamang bago ang pagbibigay ng isang pantas-aral sa kanyang katibayan, siya ay natuklasan ng isang error.