Cтраница 1
Любое разрешимое множество полу разрешимо. [1]
Всякое разрешимое множество натуральных чисел перечислимо. Если множество А и его дополнение ( до множества всех натуральных чисел) перечислимы, то А разрешимо. [2]
Проекция разрешимого множества В С X х Y полуразрешима. [3]
Простейшим примером разрешимого множества может служить множество всех формул к. В случае разрешимости этого второго множества говорят, что имеет место разрешимость самого исчисления. [4]
Она говорит, что разрешимые множества - это перечислимые множества с перечислимыми дополнениями. [5]
Точка у границы dU разрешимого множества U гармонич. [6]
Пга получаются навешиванием кванторов на разрешимые множества, а разрешимое множество арифметично. [7]
Легко показать, что всякое разрешимое множество перечислимо. Обратное, вообще говоря, неверно. Например, самоприменимые шифры образуют перечислимое, ноне разрешимое множество. То же самое верно и для множества формул, выводимых из конечной системы аксиом. [8]
Можно доказать, что всякое разрешимое множество перечислимо. В то же время удалось построить перечислимое, но не разрешимое множество. Этот первый конкретный пример ( опубликован амер. [9]
Рассмотрим, например, понятие разрешимого множества ( натуральных чисел), уточняющее интуитивное представление о таком свойстве ( натуральных чисел), которое можно алгоритмически распознавать. [10]
Пересечение, объединение и дополнение разрешимых множеств разрешимо. [11]
Множество Т перечислимо как проекция разрешимого множества. [12]
Если множество В га-сводится к разрешимому множеству А, то и В разрешимо. Более того, если даже А и неразрешимо, но у нас есть доступ к оракулу для А, который отвечает на вопросы о принадлежности чисел множеству А, то мы можем с его помощью отвечать на вопросы о принадлежности чисел множеству В. В самом деле, если / - сводящая функция и если мы хотим узнать, принадлежит ли некоторое число х множеству В, достаточно спросить у оракула, принадлежит ли / ( ж) множеству А. [13]
Очевидно, пересечение, объединение и разность разрешимых множеств разрешимы. Любое конечное множество разрешимо. [14]
Теорема 16 утверждает, что теория с разрешимым множеством аксиом перечислима. Мы знаем, что существуют перечислимые неразрешимые множества. [15]