Advertising
Register for free: access more results and features
computably
Definition
Translation of "computably" in Russian
Definition NEW
вычислимым образом
перечислимо
неперечислимо
The set of rational numbers q such that q > Ω is not computably enumerable.
Множество рациональных чисел q таких, что q > Ω - неперечислимо.
The domain of any universal computable function is a computably enumerable set but never a computable set.
Область определения любой универсальной вычислимой функции является перечислимым множеством, но никогда не вычислимым множеством.
The set of rational numbers q such that q>Ω is not computably enumerable.
Множество рациональных чисел q таких, что q>Ω - неперечислимо.
The set of rational numbers q such that q<Ω is computably enumerable; a real number with such a property is called a left-c.e. real number in recursion theory.
Множество рациональных чисел q таких, что q<Ω - перечислимо; вещественное число с таким свойством называется left-c.e. вещественным числом в recursion theory.
The set of rational numbers q such that q < Ω is computably enumerable; a real number with such a property is called a left-c.e. real number in recursion theory.
Множество рациональных чисел q таких, что q < Ω - перечислимо; вещественное число с таким свойством называется left-c.e. вещественным числом в recursion theory.
Thus the program named "KolmogorovComplexity" cannot actually computably find the complexity of arbitrary strings.
Так программа KolmogorovComplexity на самом деле не может вычислить сложность случайной строки.
It is possible to have a complete and consistent list of axioms that cannot be produced by a computer program (that is, the list is not computably enumerable).
Возможно иметь полный и непротиворечивый список аксиом, но такой список не может быть построен при помощи компьютерной программы (т. е. список неперечислим).
The hypothesis that the theory is computably enumerable means that it is possible in principle to write a computer program that (if allowed to run forever) would list all the theorems of the theory and no other statements.
Предположение о том, что теория вычислима, обозначает, что в принципе возможно реализовать компьютерный алгоритм (компьютерную программу), которая (если ей разрешено вычислять произвольно долгое врея, вплоть до бесконечности) вычислит список всех теорем теории.
Is the complexity class NP computably enumerable?
Верно ли, что всякий язык L NP является рекурсивно перечислимым?
Theories such as Peano arithmetic, for which any computably enumerable consistent extension is incomplete, are called essentially incomplete.
Такие теории, как арифметика Пеано, для которых не может быть построено перечислимого расширения, называются существенно неполными.
Synonyms and analogies of "computably" in English
Word & Expression of the day
Image of the day
Suggestions that contain computably
Results: 10. Exact: 10. Elapsed time: 15 ms.
