Translation examples
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).
Vuonna 1950 Turing antoi esimerkin, joka cancellative Puoliryhmä kanssa liukenematon sana ongelma (ottaa yhdessä vaiheessa