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