Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Словарь логики
"Разрешения Проблема"

Главная - Словарь логики - буква Р - Разрешения Проблема
Словарь логики
Искать!

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


Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: Разрешения Проблема


будет выглядеть так: Что такое Разрешения Проблема

Реклама:
Error: Incorrect password!
Толковые словари и Энциклопедии. Словарь - Разрешения Проблема - Словарь логики - Толковые Словари и Энциклопедии