All algebraic numbers are computable and therefore definable and arithmetical.
Любое алгебраическое число вычислимо, а следовательно, арифметично.
Ω has the mathematical property that it is definable but not computable.
Ω имеет то математическое свойство, что оно определимо, но не вычислимо.
These smart contracts can be digitally signed, computable, and self-executing.
Эти интеллектуальные контракты могут быть цифровой подписью, вычислимой и самоисполняющейся.
Before the precise definition of computable function, mathematicians often used the informal term effectively calculable.
Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
Complex biological systems may be represented and analyzed as computable networks.
Сложные биологические системы могут быть представлены и проанализированы как вычислимые сети.
And I started building technology and a management system for making data computable.
И я начал создавать технологию и систему управления, чтобы сделать данные вычислимыми.
We say that a problem is computable if an algorithm exists for solving it.
Мы говорим, что задача вычислима, если существует алгоритм для её решения.
Turing doesn't even bother to mention that all rational numbers are computable.
Тьюринг даже не утруждает себя упоминанием о том, что все рациональные числа вычислимы.
The definition of a halting probability relies on the existence of a prefix-free universal computable function.
Определение вероятности остановки основывается на существовании префиксных универсальных вычислимых функций.
A function is called computable if an algorithm which evaluates the function exists.
Функция называется вычислимой, если имеется алгоритм, вычисляющий ее значение.
The number of nonequivalent computable indexations for a fixed family of sets
О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств
But while both these problems are computable, the resources required to solve them are vastly different.
Но хотя обе эти проблемы вычислимы, ресурсы, необходимые для их решения, сильно разнятся.
Turing approached the problem by refining the concept of "computable numbers."
Тьюринг подошел к проблеме, уточнив концепцию "вычислимых чисел".