Decidable

BrE

разрешимый

Слово происходит от латинского ‘decidere’ (решать, отрезать) с добавлением английского суффикса ‘-able’, указывающего на возможность действия. Оно вошло в английский язык в XVII веке в общем значении ‘поддающийся решению’. Особую значимость и специфический смысл этот термин приобрел в середине XX века в англоязычной академической среде (прежде всего в Великобритании и США), став одним из ключевых понятий в математической логике и теоретической информатике для обозначения задач, которые могут быть алгоритмически разрешены машиной Тьюринга.

Прочие фразы и выражения

algorithmically decidable — алгоритмически разрешимый
Turing decidable — разрешимый по Тьюрингу; вычислимый по Тьюрингу
effectively decidable — эффективно разрешимый
logically decidable — логически разрешимый

Однокоренные слова

decidedly — решительно, явно, несомненно, бесспорно
decision — решение, определение, решимость, решительность
decisive — решающий, решительный, окончательный, убедительный, имеющий решающее значение
decisively — окончательно, убедительно
decisiveness — решительность
decide — решать, решаться, принимать решение, рассудить, постановлять, вознамериваться
undecidability — неразрешимость
undecidable — неразрешимый