Что такое Разрешимая Теория? Значение и толкование слова razreshimaja teorija, определение термина
Разрешимая Теория - — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Рациональность - (от лат. ratio - разум) - относящееся к разуму, обоснованность разумом, доступное разумному...
Релевантная Импликация - см.: Релевантная логика.
Релевантная Логика - - одна из наиболее известных неклассических теорий логического следования. В названии «Р. л.»...
Референт - (от лат. refero — называть, обозначать) — объект, обозначаемый некоторым именем, то же, что и...
Референция - — отношение между обозначаемым и обозначающим, между предметом и его именем. Отношение Р....
Ссылка для сайта или блога:
Ссылка для форума (bb-код):