In 1947, Markov and Post published independent papers showing that the word problem for semigroups cannot be effectively decided.
În 1947, Markov și Post au publicat articole independente în care arătau că problema cuvintelor pentru semigrupuri nu poate fi decisă efectiv.