Введения 1936 года

Проблема с остановкой Проблема остановки — вопрос о том, может ли машина Тьюринга определить, остановится ли алгоритм.  Доказательство Тьюринга показывает, […]