In 1947, Markov and Post published independent papers showing that the word problem for semigroups cannot be effectively decided.
1947年、Markov とポストはそれぞれ独立に半群の word problem が実効的に決定できないことを示す論文を発表した。