— теория , для которой существует эффективная процедура ( алгоритм ), позволяющая о каждом утверждении, сформулированном в терминах этой теории , решить , выводимо оно в теории или нет (см.: Разрешения проблема ). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Что такое Разрешимая Теория? Значение Разрешимая Теория в словаре логики
Разрешимая Теория - — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Соседние слова
Что такое Разделительно-Категорическое УмозаключениеЧто значит Разделительно-Условное Умозаключение
Что означает Разрешающая Процедура
Значение Разрешения Проблема
↑ Разрешимая Теория ↓
Что такое Рациональность
Что значит Рекурсивное Определение
Что означает Релевантная Импликация
Значение Релевантная Логика
Разрешимая Теория
Узнайте лексическое, прямое, переносное значение следующих слов:
- Следствие - см.: Логическое следование. ...
- Синтаксическая Категория - класс однотипных выражений словаря формализованного языка. Этот ...
- Синонимия - — одно из важнейших понятий логической семантики, выражающее ...
- Символы Собственные И Несобственные - символы, получающиеся в результате разложения предложения или ...
- Символика Логическая - система знаков (символов), используемая в логике для ...
- Силлогизм - (от греч. sillogismos) категорический дедуктивное умозаключение, в ...
- Семантическое Понятие Истины - классическое понятие истины, уточненное с помощью технических ...
- Противоположность Логическая - – вид отношения между противоположными понятиями или суждениями ...
- Пропозициональная Связка - операция, позволяющая из данных суждений (высказываний) строить ...
- Причинности Логика - раздел современной логики, занимающийся исследованием структуры и ...
- Принцип Предметности - один из трех основных принципов теории отношения ...
- Принцип Объемности - (экстенсиональности) (от лат. extentio — протяжение) — принцип ...
- Принцип Взаимозаменимости - один из трех основных принципов теории отношения ...
- Приведение К Абсурду - или: Редукция к абсурду, приведение к нелепости (лат. ...
- Аксиома - (от греч. axioma — значимое, принятое положение) — ...