Разрешимости (разрешения) проблема

Найдено 2 определения
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское]

РАЗРЕШЕНИЯ (разрешимости) ПРОБЛЕМА
одна из осн. проблем, встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории связано соответственно с существованием или несуществованием нек-рого общего метода (или алгоритма), позволяющего конечным числом действий выяснить, является ли произвольная формула рассматриваемой теории доказуемой (истинной) в данной системе. Р. п. положительно решается, напр., в исчислении высказываний и в формализованной аристотелевской силлогистике. Однако уже для исчисления предикатов общего решения этой проблемы не существует. Невозможность найти для к.-л. формальной теории общий разрешающий метод не исключает поисков таких решений для отдельных классов формул этой теории.

Источник: Философский энциклопедический словарь

Разрешимости (разрешения) проблема
одна из основных проблем, встающих в логике в связи с построением формальных логических систем. Ее положительное или отрицательное решение для каждой конкретной формальной логической системы связано соответственно с существованием или несуществованием некоторого общего метода (или алгоритма), позволяющего конечным числом действий выяснить, является ли к.-л. формула рассматриваемой системы доказуемой (истинной) в данной системе или же она таковой не является. Р. п. положительно решается, напр., в исчислении высказываний и в формализованной аристотелевской силлогистике. Однако уже для исчисления предикатов общего решения этой проблемы не существует. Невозможность найти для какой-либо формальной системы общий разрешающий метод не исключает поисков таких решений для отдельных классов формул этой системы.

Источник: Философский словарь. 1963