He was able to rescue from his faulty proof the fact that there was a cancellative semigroup with insoluble word problem and he published this result in 1950.
He was able to rescue from his faulty proof the fact that there was a cancellative semigroup with insoluble word problem and he published this result in 1950.
user
Він міг врятувати від нього несправний доказ того, що було скорочення напівгрупи з нерозв'язною проблемою слова, і він опублікував цей результат у 1950 році.
assistant