Философская Энциклопедия (в 5 томах)

РАЗРЕШЕНИЯ ПРОБЛЕМА

один из наиболее важных видов массовых проблем. Р. п. данного множества А конструктивных объектов (относительно нек-рого объемлющего множества V конструктивных объектов) наз. проблему построения алгоритма, распознающего по всякому объекту из множества V, принадлежит ли он множеству А или нет. Р. п. (более подробно – Р. п. для доказуемости) формальной системы (или исчисления) наз. Р. п. множества всех доказуемых формул этой системы относительно множества всех ее формул. Семантич. Р. п. (или Р. п. для истинности) интерпретированной формальной системы (формализованного языка) наз. Р. п. множества всех истинных формул системы относительно множества всех ее формул. (Для обозначения понятия "проблема разрешения" долгое время применялся термин "проблема разрешимости", однако этим термином правильнее обозначать проблему: "имеет ли решение данная Р. п.".) Р. п. множеств совпадают по существу и с проблемами распознавания свойств. Проблемой распознавания заданного св-ва (для объектов из заданной совокупности конструктивных объектов) наз. проблему построения алгоритма, распознающего по всякому объекту из заданной совокупности, обладает он заданным св-вом или нет. Всякая проблема распознавания св-ва есть в то же время Р. п. множества всех тех объектов, к-рые обладают этим св-вом. В свою очередь Р. п. множества есть проблема распознавания св-ва принадлежности к этому множеству. В частности, Р. п. для доказуемости является проблемой распознавания доказуемости, а Р. п. для истинности есть проблема распознавания истинности. См. также ст. Алгоритм, Массовая проблема, Метатеория и лит. при них. В. Успенский. Москва.

  1. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА важное понятие логики. Р. п. данного множества А конструктивных объектов iотносительно некрого объемлющего множества V iконструктивных объектов наз. п...Большая советская энциклопедия
  2. разрешения проблема—важное понятие логики. Р. п. данного множества А emконструктивных объектов См. Конструктивные объекты относительно некоторого объемлющего множества V конструктивных объек...Большая Советская энциклопедия II
  3. разрешения проблема—алгоритмическая проблемаi в крой для заданного множества Атребуется построить алгоритм разрешающий Аотносительно другого множества Вi включающего т. е. такой алгоритм к...Математическая энциклопедия
  4. разрешения проблема—или Разрешимости пробленма аЧ проблема нахождения для данной дедуктивной теории общего метода позволяющего решать может ли отдельное утверждение сфорнмулированное в терми...Словарь логики
  5. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА или Разрешимости проблема проблема нахождения для данной дедуктивной теории общего метода позволяющего решать может ли отдельное утверждение сформули...Словарь по логике
  6. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых з...Философская энциклопедия
  7. разрешения проблема—одна из осн. проблем встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории...Философский энциклопедический словарь
  8. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма emрешающего массовую проблему состоящую из однотипных вопросов о конструктивных объектах словах над фиксированным конечным ал...Энциклопедия эпистемологии и философии науки