В 1970 году советскому математику удалось доказать, что не существует общего алгоритма решения задачи нахождения универсального метода, который позволяет определить, имеет ли заданное алгебраическое уравнение с целыми коэффициентами решение в целых числах. Запишите фамилию советского математика.