In 1950 Turing gave an example of a cancellative semigroup with insoluble word problem (having at one stage believed incorrectly that he could solve the group problem).
Sa 1950 Turing ibinigay ng isang halimbawa ng isang cancellative semigroup hindi matutunaw salita na may problema (sa pagkakaroon ng isang yugto sumampalataya ng hindi tama na siya ay maaaring malutas ang problema sa grupo).