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