He constructed formal systems allowing for self-referential statements that talk about themselves, in particular, about whether they can be derived from an enumerable set of given axioms through a computational theorem proving procedure.
Он построен формальных систем, позволяющих самореферентную заявления, которые говорят о себе, в частности, о том, могут ли они быть получены из enumerable заданного набора аксиом с помощью вычислительной процедуры.
The domain of any universal computable function is a computably enumerable set but never a computable set.
Область определения любой универсальной вычислимой функции является перечислимым множеством, но никогда не вычислимым множеством.
Alte rezultate
Solvable and enumerable sets represent the simplest (and the most important) examples of sets, the structure of which is defined by certain algorithmic procedures.
Разрешимы и перечисляемые множества составляют простейшие (и важные) примеры множеств, структура которых задается с помощью тех или иных алгоритмических процедур.
A detailed analysis of the concept of an algorithm reveals that: 1) the range of possible initial data and the range of applicability of an algorithm are enumerable sets.
Детальный анализ понятия «алгоритм» обнаруживает, что (I) область возможных исходных данных и область применимости любого алгоритма является перечисляемых множествами.
So the four attributes an accessor property are get, set, enumerable, and configurable.
Эти Четыре Благородны Истины, монахи, являются действительными, верными, непреложными.
A set is enumerable (or denumerable or countable or listable) if it can be written as.
Он может быть неоформленным (гладким) и оформленным (содержащим рисунки или надписи).
A set is said to be enumerable if it is empty or if there exists an algorithm enumerating it.
Множество называется перечислимым, если либо оно пусто, либо существует перечисляющий его алгоритм.
Infinite sets of natural numbers, rational numbers, and even algebraic numbers are enumerable.
Бесконечные множества натуральных, рациональных и даже алгебраических чисел - перечислимые.
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 not computably enumerable.
Множество рациональных чисел q таких, что q>Ω - неперечислимо.
The set difference L - P may or may not be recursively enumerable.
Разность множеств L\P может быть, а может не быть рекурсивно перечислимой.