Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
Разрешимая Теория:
Разрешимая Теория - — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.
Похожие на Разрешимая Теория слова / понятия:
Референция
Референт
Рекурсивное Определение
Релевантная Импликация
Релевантная Логика
Семантическая Категория
Семантические Парадоксы
Семантическое Понятие Истины
Семантика Логическая
Семиотика
