Геделя

Cтраница 2

Теорема, Геделя должна быть прилбжима к кибернетическим машинам, поскольку сама суть таких машин - в том, что они являются воплощениями формальных систем. [16]

Языки Тьюринга и Геделя априори трудно сравнить, ибо данные и результаты в них записываются в разных формализмах. Это препятствие легко преодолеть. [17]

Доказанная в 1931 Геделя теорема о неполноте арифметики поколебала оптимистич. [18]

Идея восходит к Геделю, Monatsh. [19]

В процессе доказательства Геделю потребовалось дополн тельное техническое условие, которое носит название со-н противоречивости. [20]

Крабья Тема. До-Ми - бемоль - Соль-Ля - бемоль - Си-Си - Ля-Си. [21]

Автор: Чествуя Эшера, Геделя, А также Баха, Бесстрашно Анализировать Бесконечность. [22]

Теорема 8.5. Любое арифметическое по Геделю отношение является полным К-отношением. [23]

Все общерекурсивные предикаты являются арифметическими по Геделю. [24]

Краб: Да, прямо по Геделю. А скажите, ваш Шестиголосный ричеркар также имитирует и форму Баховского ричеркара. [25]

Имеются и общие результаты, восходящие к Геделю и показывающие, что всякая семантика логики предикатов, основанная на конструктивной точке зрения, необходимо неполна. [26]

С этой тенденцией связано название конструктивных по Геделю множеств. [27]

А именно, теория фон Неймана - Бернайса - Геделя. [28]

Это подсказывает способ доказательства вычислимости по Тьюрингу вычислимой по Геделю функции. [29]

СКОЛЕМА ПАРАДОКС - следствие теоремы Левен-хейма - Сколема ( см. Геделя теорема о полноте), состоящее и том, что всякая непротиворечивая формальная аксиоматич. [30]

Страницы: 1 2 3 4