To various characteristics of linear operators correspond, as a rule, effectively computable characteristics of their matrices.
Различным характеристикам Л. о. отвечают, как правило, эффективно вычисляемые характеристики их матриц.
The focus of LG, though, is effectively computable strategies.
В фокусе LG, тем не менее, оказываются эффективно вычисляемые стратегии.
In 1936 he advanced the fundamental hypothesis of the theory of computable functions; now known as Church's thesis, it states that every effectively computable function is general recursive (seeRECURSIVE FUNCTION).
В 1936 году выдвинул основную гипотезу теории вычислимых функций (так называемый тезис Черча): каждая эффективно вычислимая функция является общекурсивной.
The debate began when Church proposed to Gödel that one should define the "effectively computable" functions as the λ-definable functions.
Дискуссия началась, когда Чёрч предложил Геделю определить «эффективно вычислимые» функции как λ-определимые функции.
InLev Schnirelmann provedthat any natural number greater than 1 can be written as the sum of not more than C prime numbers, where C is an effectively computable constant, see Schnirelmann density.
Позже Шнирельман доказал, что любое натуральное число, большее 1, может быть записано как сумма не более чем простых чисел C, где C - эффективно вычисляемая постоянная.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.