Undecidable

1. неразрешимый; алгоритмически неразрешимый

Не поддающийся алгоритмическому разрешению за конечное время.

• undecidable problem — алгоритмически неразрешимая проблема
• algorithmically undecidable — алгоритмически неразрешимый
• The halting problem is undecidable. — Проблема остановки неразрешима.
• undecidable set — неразрешимое множество
• undecidable language — неразрешимый язык
• formally undecidable proposition — формально неразрешимое утверждение
• It is an undecidable question whether the program will eventually halt. — Вопрос о том, остановится ли программа в конечном итоге, является неразрешимым.

2. неразрешимый; логически независимый

Логически независимый от аксиом данной теории; такой, который невозможно ни доказать, ни опровергнуть в рамках этой формальной системы.

• undecidable proposition — неразрешимое утверждение
• undecidable statement — неразрешимое высказывание
• logically undecidable sentence — логически неразрешимое предложение
• The continuum hypothesis is undecidable in standard set theory. — Континуум-гипотеза неразрешима в стандартной теории множеств.
• Gödel's theorem shows that certain formulas are undecidable. — Теорема Гёделя показывает, что некоторые формулы неразрешимы.
• An undecidable formula is independent of the axioms. — Неразрешимая формула не зависит от аксиом.