разрешения проблема (разрешимости проблема)
- разрешения проблема (разрешимости проблема)
проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой (алгоритмом), называется процедурой разрешения или разрешающей процедурой, а теория, для которой такая процедура существует, - разрешимой теорией.
Р. п. решается в классической логике высказываний с помощью таблиц истинности. Разрешающий алгоритм существует и для логики одноместных предикатов, для силлогизма категорического и других простых дедуктивных теорий. Но уже для логики предикатов общего решения Р. п. не существует. В математике также невозможно установить общий метод, который дал бы возможность провести различие между утверждениями, которые могут быть доказаны в ней, и теми, которые в ней недоказуемы.
Невозможность найти для теории общий разрешающий метод не исключает поиска процедуры разрешения для отдельных классов ее
утверждений.
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС.
А.А.Ивин, А.Л.Никифоров.
1997.
Смотреть что такое "разрешения проблема (разрешимости проблема)" в других словарях:
разрешения проблема — РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… … Энциклопедия эпистемологии и философии науки
РАЗРЕШЕНИЯ ПРОБЛЕМА — РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести… … Философская энциклопедия
РАЗРЕШЕНИЯ ПРОБЛЕМА — алгоритмическая проблема, в к рой для заданного множества Атребуется построить алгоритм, разрешающий Аотносительно другого множества В, включающего , т. е. такой алгоритм , к рый применим ко всякому элементу из В, причем , если , и , если .… … Математическая энциклопедия
Разрешения Проблема — или: Разрешимости пробленма, аЧ проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфорнмулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся… … Словарь терминов логики
Проблема разрешимости — Проблема разрешимости вопрос, сформулированный в рамках какой либо формальной системы, требующий ответа «да» или «нет», возможно, зависящего от значений некоторых входных параметров. Например, проблема «дано два числа x и y, делится ли x на … Википедия
РАЗРЕШЕНИЯ ПРОБЛЕМЫ — один из наиболее важных видов массовых проблем. Р. п. данного множества А конструктивных объектов (относительно нек рого объемлющего множества V конструктивных объектов) наз. проблему построения алгоритма, распознающего по всякому объекту из… … Философская энциклопедия
Проблема разрешения — В математике проблемой разрешения (Entscheidungsproblem) называется задача, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и… … Википедия
Проблема остановки — В данной статье имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
МАССОВАЯ ПРОБЛЕМА — бесконечный класс (научных) проблем (задач), охарактеризованный (или могущий быть охарактеризованным) при помощи нек рого единого эффективно распознаваемого условия. На фигурирующее в этом пояснении понятие проблемы следует смотреть как на… … Философская энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
