Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

РАЗРЕШЕНИЯ (РАЗРЕШИМОСТИ) ПРОБЛЕМА:



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

РАЗУМ
РАЗУМ И РАССУДОК
РАЗУМ И СВОБОДА ЧЕЛОВЕКА В ФИЛОСОФИИ СПИНОЗЫ
РАЗУМ И ВОСПИТАНИЕ
РАЗУМ НЕПРЕДУБЕЖДЕННЫЙ
РАЗУМ НРАВСТВЕННЫЙ
РАЗУМ. СТРУКТУРА ПОЗНАВАТЕЛЬНЫХ СПОСОБНОСТЕЙ В АНТИЧНОСТИ
РАЗВИТИЯ ТЕОРИИ (ГЕНЕТИЧЕСКИЙ МЕТОД)
РЕАЛИЗМ И ИНСТРУМЕНТАЛИЗМ
РЕАЛИЗМ ЭМПИРИЧЕСКИЙ