Тезис Геделя. Теорема Черча

Теорема Геделя о неполноте.Гьоделя. Теорема Черча.Один из первых результатов такого типа получен Черчем в 1936 году.Черчем эта проблема была решена отрицательно.Это значит, что формулы аксиом и теорем в.Проблема распознавания выводимости алгоритмически неразрешима.Проблема распознавания самоприменимости алгоритмически неразрешима.Проблема эквивалентности слов в любом ассоциативном исчислении алгоритмически неразрешима.Примеры теорий первого порядка.Оцінка ______ Левицький Е.Г.