Последовательность спекеров
- Последовательность Спекера является рекурсивным контрпримером к принципу наименьшей верхней границы в математическом анализе.
- Последовательность ограничена сверху на 1, но вычислимое вещественное число x не является результатом.
- Доказательство использует конкретный факт о вычислимых действительных числах и невозможность существования вычислимой функции r.
- Построение последовательности основано на рекурсивно перечислимом наборе натуральных чисел A и вычислимом перечислении A без повторения.
Полный текст статьи:
Последовательность Спекера — Википедия
Похожие статьи:
- Клубный набор Клубный набор Определение и свойства кардинальных чисел Кардинальное число — это мощность множества. Множество с кардинальным...
- Рекурсивно перечислимый язык Рекурсивно перечислимый язык Формальный язык называется рекурсивно перечислимым, если он представляет собой рекурсивно перечислимое подмножество во...
- Автоматическая последовательность Автоматическая последовательность действий Автоматические последовательности — это последовательности, которые могут быть описаны с помощью детерминированных автоматов. ...
- Первая статья Кантора по теории множеств Первая статья Кантора по теории множеств Канторовская бесконечность Кантор доказал, что множество действительных чисел не может...
- Обычная последовательность складывания бумаги Обычная последовательность складывания бумаги Обычная последовательность сворачивания бумаги представляет собой бесконечную последовательность нулей и единиц. Она...
- Спектральная последовательность Лере Спектральная последовательность Лерея Определение и свойства спектральной последовательности Лере Спектральная последовательность Лере связывает гомологии пучков с...
- Построение действительных чисел Построение действительных чисел Вещественные числа являются классом эквивалентности последовательностей Коши. Построение вещественных чисел с помощью разрезов...
- Случайная последовательность Фибоначчи Случайная последовательность Фибоначчи Случайная последовательность Фибоначчи — стохастический аналог классической последовательности Фибоначчи. Последовательность задана случайным рекуррентным...
- Последовательность кукол Последовательность действий куклы Определение и свойства последовательности Пуппе Последовательность Пуппе связывает два пространства через их гомотопические...
- Последовательность Последовательность Последовательность — это набор элементов, упорядоченных по индексу. Определение последовательности может быть узким или широким. ...
- Спан (теория категорий) Диапазон (теория категорий) Определение и примеры категорий Категория — это множество объектов с набором морфизмов между...
- Последовательность Коши Последовательность Коши Последовательность Коши — это последовательность элементов, сходящаяся к элементу в топологическом пространстве. Определение последовательности...
- Вычислимо перечислимое множество Вычислимо перечислимый набор Вычислимо перечислимые множества являются подмножествами натуральных чисел, которые могут быть перечислены с помощью...
- Последовательность Падована Последовательность Падована Последовательность Падована определяется начальными значениями и рекуррентным соотношением. Простые числа Падована являются первыми простыми...
- Периодическая последовательность Периодическая последовательность Периодическая последовательность повторяется с одинаковыми членами. Количество повторяющихся слагаемых называется периодом. Периодическая последовательность является...
- Полугрупповое действие Полугрупповое действие Определение полугруппы Полугруппа — это множество с бинарной операцией, удовлетворяющей ассоциативности и наличию нейтрального...
- Целочисленная последовательность Целочисленная последовательность Целочисленная последовательность — это набор чисел, которые следуют определенной закономерности. Последовательности могут быть определены...
- Быстрорастущая иерархия Быстрорастущая иерархия Быстрорастущие иерархии функций — это системы функций, которые растут быстрее, чем любая вычислимая функция. ...
- Алгоритмически случайная последовательность Алгоритмически случайная последовательность Случайная последовательность — это последовательность, которая не может быть предсказана с помощью алгоритма. ...
- Теорема существования Теорема о существовании Теорема существования утверждает существование определенного объекта в математике. Теоремы существования могут быть экзистенциальными...
- Сокращение «многие к одному» Многократное сокращение Определение и свойства степеней Тьюринга Степени Тьюринга — это отношения эквивалентности между множествами, определяемые...
- Спектральная последовательность Серра Спектральная последовательность Серра Определение и свойства спектральной последовательности Серра Спектральная последовательность Серра — это инструмент для...