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

Проблема разрешения (греч. problema - преграда, трудность, задача) - (нем. Entscheidungsproblem) — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и математического утверждения S на этом языке), и после конечного числа шагов останавливался бы и выдавал один из двух ответов: «истина» или «ложь», в зависимости от того, истинно или ложно утверждение S. При этом не требуется, чтобы алгоритм давал какое-либо обоснование своего ответа, однако ответ всегда должен быть верным.

Проблема разрешимости — вопрос, сформулированный в рамках какой-либо формальной системы, требующий ответа «да» или «нет», возможно, зависящего от значений некоторых входных параметров.

РАЗРЕШЕНИЕ - философская категория, в Дианомике в сети своего внешнего развития суть результат синергизма категорий СЛЕДСТВИЕ и ПАРАДОКС. Категория ПРОБЛЕМА образует диаду с результатом собственного диалектического отрицания категорией РАЗРЕШЕНИЕ.

Для справки: Терминология Дианомической ЛОГИКИ.

Мнения[]

Ниже приведены МНЕНИЯ по данной проблеме из философских справочников и энциклопедий. Для чего? Для создания видимости объективности автора статьи? Нет.

Автор статьи стремится к тому, чтобы читатель:
- минимизировал своё время для знакомства с альтернативными мнениями;
- «Имел мужество пользоваться собственным умом.» (Иммануил Кант).