< 1 >
Проблема принятия решения
Проблема принятия решения (Entscheidungsproblem) требует алгоритма, позволяющего определить, является ли данное утверждение доказуемым на основе аксиом, используя правила логики.
Пояснение
ИсторияЭта проблема была предложена немецким математиком Давидом Гильбертом в 1928 году. |