Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
РАЗРЕШЕНИЯ (РАЗРЕШИМОСТИ) ПРОБЛЕМА:
РАЗРЕШЕНИЯ (РАЗРЕШИМОСТИ) ПРОБЛЕМА - — одна из осн. проблем, встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории связано соответственно с существованием или несуществованием нек-рого общего метода (или алгоритма), позволяющего конечным числом действий выяснить, является ли произвольная формула рассматриваемой теории доказуемой (истинной) в данной системе. Р. п. положительно решается, напр., в исчислении высказываний и в формализованной аристотелевской силлогистике. Однако уже для исчисления предикатов общего решения этой проблемы не существует. Невозможность найти для к.-л. формальной теории общий разрешающий метод не исключает поисков таких решений для отдельных классов формул этой теории.
Похожие на РАЗРЕШЕНИЯ (РАЗРЕШИМОСТИ) ПРОБЛЕМА слова / понятия:
РАЗУМ
РАЗУМ И РАССУДОК
РАЗУМ И СВОБОДА ЧЕЛОВЕКА В ФИЛОСОФИИ СПИНОЗЫ
РАЗУМ И ВОСПИТАНИЕ
РАЗУМ НЕПРЕДУБЕЖДЕННЫЙ
РАЗУМ НРАВСТВЕННЫЙ
РАЗУМ. СТРУКТУРА ПОЗНАВАТЕЛЬНЫХ СПОСОБНОСТЕЙ В АНТИЧНОСТИ
РАЗВИТИЯ ТЕОРИИ (ГЕНЕТИЧЕСКИЙ МЕТОД)
РЕАЛИЗМ И ИНСТРУМЕНТАЛИЗМ
РЕАЛИЗМ ЭМПИРИЧЕСКИЙ