Maeckes logo

<    1    >


Проблема принятия решения

Проблема принятия решения (Entscheidungsproblem) требует алгоритма, позволяющего определить, является ли данное утверждение доказуемым на основе аксиом, используя правила логики.

 


Пояснение

 


История

Эта проблема была предложена немецким математиком Давидом Гильбертом в 1928 году.


Deutsch   English   Español   Français   Nederlands   中文