Разрешимая Теория – — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Что такое Разрешимая Теория? Значение razreshimaya teoriya, словарь логики
Значение термина «Разрешимая Теория» в Словаре логики. Что такое разрешимая теория? Узнайте, что означает слово razreshimaya-teoriya - толкование, обозначение, определение термина, его лексический смысл и описание.
Разрешимая Теория
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):