Англо-русский Русско-английский научно-технический словарь - undecidable

неразрешимый essentially undecidable system — существенно неразрешимая система essentially undecidable theory — существенно неразрешимая теория hereditarily undecidable theory — наследственно неразрешимая теория nonessentially undecidable theory — несущественно неразрешимая теория recursively undecidable theory — рекурсивно неразрешимая теория strongly undecidable structure — строго неразрешимая структура - effectively undecidable - essentially undecidable - hereditarity undecidable - strongly undecidable - undecidable arithmetic - undecidable formula - undecidable predicate - undecidable problem - undecidable proposition - undecidable relation - undecidable sentence - undecidable structure - undecidable system - undecidable theory