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