Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Полнота и непротиворечивость
база аксиом позволяет алгоритмизировать (сопоставить процедуры вычисления) огромное множество функций натурального ряда.
5.5. НЕРАЗРЕШИМЫЕ АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ РФ
Займемся метатеорией рекурсивных функций. Поставим 3 задачи. Выясним:
Является ли модель РФ полной формальной теорией? То есть все ли множество алгоритмов (вычислимых функций), можно описать, используя ПРФ? То есть верно ли, что (вычислимая функция)®РФ?
Существуют ли невычислимые функции, то есть неразрешимые алгоритмические проблемы?
Является ли модель РФ непротиворечивой. Относительно алгоритмов, данное утверждение принимает вид: все ли функции, получаемые теорией РФ являются вычислимыми. То есть верно ли, что РФ®(вычислимая функц
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
