CC BY-NC-ND.JPG

Dianomika

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


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


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

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


!Gnoseologia.JPG




Мнения[править | править код]


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

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


Из Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.[править | править код]



Из Словари и энциклопедии на Академике[править | править код]



Из Википедии[править | править код]







Из Математическая логика[править | править код]





См. также[править | править код]



Ссылки[править | править код]







© Dianomik 16:52, сентября 03, 2014 (UTC)

Материалы сообщества доступны в соответствии с условиями лицензии CC-BY-SA, если не указано иное.