Проблеме разрешения (нем.). Речь о математической задаче, сформулированной Д. Гильбертом: требуется найти алгоритм, который принимает в качестве входных данных любой формальный язык/любое утверждение на этом языке, а после конечного цикла операций выдает заключение «Истина» или «Ложь» в зависимости от истинности/ложности утверждения. В статье Тьюринга (и в отдельно опубликованной статье А. Черча) доказывалось, что не существует алгоритма для определения истинности утверждений арифметики, поэтому проблема в целом не имеет решения.
