Вычислимая функция
- Вычислимость — свойство функций, которые могут быть вычислены с помощью алгоритма.
- Тезис Черча-Тьюринга утверждает, что любая функция, вычислимая с помощью процедуры, обладает тремя перечисленными свойствами.
- Множество доказуемо полных функций рекурсивно перечислимо.
- Невычислимые функции и неразрешимые задачи существуют, и большинство вещественных чисел и подмножеств натуральных чисел не поддаются вычислению.
- Относительная вычислимость позволяет релятивизировать понятие вычислимости функции для произвольного набора натуральных чисел.
- Гипервычисления изучают модели вычислений, которые выходят за рамки обычных вычислений по Тьюрингу.
Полный текст статьи: