Вычисление в пределе
- Предельная вычислимость — свойство вычислимости, связанное с предельными последовательностями.
- Предельная вычислимость эквивалентна существованию вычислимой последовательности, сходящейся к данному числу.
- Ранний результат предсказывал эквивалентность предельной вычислимости и Δ20 множеств.
- Итерация предельной вычислимости используется для подъема вверх по арифметической иерархии.
- Действительные числа вычислимы в пределе, если существует вычислимая последовательность рациональных чисел, сходящаяся к ним.
- Существует модифицированная версия предельной леммы для теории α-рекурсии с использованием функций в α-арифметической иерархии.
Полный текст статьи: