Что такое Разрешимая Теория? Значение и толкование слова razreshimaja teorija, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Рациональность - (от лат. ratio - разум)  - относящееся к ра­зуму, обоснованность разумом, доступное разумному...

Релевантная Импликация - см.: Релевантная логика.

Релевантная Логика -  - одна из наиболее известных неклас­сических теорий логического следования. В названии «Р. л.»...

Референт - (от лат. refero — называть, обозначать)  — объект, обо­значаемый некоторым именем, то же, что и...

Референция -  — отношение между обозначаемым и обозначаю­щим, между предметом и его именем. Отношение Р....

Свойство -  — характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. Каждому...

Связка -  — в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В...

Семантика Логическая -  — раздел логики (металогики), ис­следующий отношение языковых выражений к обозначаемым объектам...

Семантическая Категория -  - класс языковых выражений, взаимная замена которых в предложении сохраняет его граммати­ческий...

Семантические Парадоксы - см.: Антиномия.