Словарь по логике

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

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


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