Последовательность спекеров
- Последовательность Спекера является рекурсивным контрпримером к принципу наименьшей верхней границы в математическом анализе.
- Последовательность ограничена сверху на 1, но вычислимое вещественное число x не является результатом.
- Доказательство использует конкретный факт о вычислимых действительных числах и невозможность существования вычислимой функции r.
- Построение последовательности основано на рекурсивно перечислимом наборе натуральных чисел A и вычислимом перечислении A без повторения.
Полный текст статьи:
Последовательность Спекера — Википедия
Похожие статьи:
- Равнораспределенная последовательность Оглавление1 Равномерно распределенная последовательность1.1 Равномерное распределение последовательностей1.2 Определение равномерного распределения1.3 Несоответствие и интегральный критерий Римана1.4 Равнораспределение...
- Последовательность с низким расхождением Оглавление1 Последовательность с низким уровнем расхождений1.1 Последовательности с низким расхождением1.2 Приложения квазислучайных чисел1.3 Численное интегрирование1.4 Определение...
- Теорема Белла – Arc.Ask3.Ru Оглавление1 Теорема Белла1.1 Теорема Белла1.2 История и развитие1.3 Эксперименты и тесты1.4 Неравенство CHSH1.5 Вариации и связанные...
- Теорема Белла – Arc.Ask3.Ru Оглавление1 Теорема Белла1.1 Теорема Белла1.2 История и развитие1.3 Эксперименты и тесты1.4 Неравенство CHSH1.5 Вариации и связанные...
- Простое число Оглавление1 Простое число1.1 Определение простых чисел1.2 История и развитие1.3 Методы проверки простоты1.4 Применение простых чисел1.5 Современные...
- Клубный набор Оглавление1 Клубный набор1.1 Определение и свойства кардинальных чисел1.2 Примеры кардинальных чисел1.3 Кардинальные числа и счетные множества1.4...
- Комплексное число Оглавление1 Комплексное число1.1 Определение комплексных чисел1.2 Основные операции1.3 Геометрическая интерпретация1.4 Алгебраические свойства1.5 Дополнительные операции1.6 Основные понятия...
- Министр без портфеля Оглавление1 Министр без портфеля1.1 Министр без портфеля: определение и функции1.2 История и примеры1.3 Чрезвычайные министры1.4 Министры...
- Основная последовательность Оглавление1 Основная последовательность1.1 Главная последовательность звезд1.2 Диаграммы Герцшпрунга-Рассела1.3 Типы звезд главной последовательности1.4 История классификации звезд1.5 Формирование...
- Натуральный продукт Оглавление1 Натуральный продукт1.1 Определение натуральных продуктов1.2 Классификация натуральных продуктов1.3 Функции натуральных продуктов1.4 Первичные метаболиты1.5 Вторичные метаболиты1.6...
- Счётное множество Оглавление1 Счетное множество1.1 Определение счетного множества1.2 История и терминология1.3 Примеры и свойства1.4 Биективные отображения1.5 Обобщение на...
- Последовательность нуклеиновой кислоты Оглавление1 Последовательность нуклеиновых кислот1.1 Последовательность нуклеиновых кислот1.2 Нуклеотиды и их структура1.3 Обозначение и двусмысленность1.4 Биологическое значение1.5...
- Последовательность нуклеиновой кислоты Оглавление1 Последовательность нуклеиновых кислот1.1 Последовательность нуклеиновых кислот1.2 Нуклеотиды и их структура1.3 Обозначение и двусмысленность1.4 Биологическое значение1.5...
- Основная последовательность – Arc.Ask3.Ru Оглавление1 Основная последовательность1.1 Главная последовательность звезд1.2 Диаграммы Герцшпрунга-Рассела1.3 Ядерные процессы в звездах1.4 Типы звезд главной последовательности1.5...
- Сюрреалистическое число Оглавление1 Сюрреалистическое число1.1 Определение сюрреалистических чисел1.2 История создания1.3 Обозначение и схема построения1.4 Арифметические операции1.5 Индуктивное построение1.6...
- Рекурсивно перечислимый язык Рекурсивно перечислимый язык Формальный язык называется рекурсивно перечислимым, если он представляет собой рекурсивно перечислимое подмножество во...
- Спектральная последовательность Гротендика Оглавление1 Спектральная последовательность Гротендика1.1 Спектральная последовательность Гротендика1.2 Условия для спектральной последовательности1.3 Примеры спектральных последовательностей1.4 Лемма о...
- Первая статья Кантора по теории множеств Оглавление1 Первая статья Кантора по теории множеств1.1 Канторовская бесконечность1.2 Доказательство 1874 года1.3 Доказательство 1879 года1.4 Развитие...
- Последовательность Primefree Оглавление1 Простая последовательность1.1 Определение простой последовательности1.2 Алгебраическое определение1.3 История и примеры1.4 Нетривиальность и порядок следования1.5 Другие...
- Автоматическая последовательность Автоматическая последовательность действий Автоматические последовательности – это последовательности, которые могут быть описаны с помощью детерминированных автоматов. ...
- Последовательность кукол Оглавление1 Последовательность действий куклы1.1 Последовательность Пуппе1.2 Точная последовательность действий куклы1.3 Примеры1.4 Последовательность сосуществования кукол1.5 Свойства и...
- Обычная последовательность складывания бумаги Обычная последовательность складывания бумаги Обычная последовательность сворачивания бумаги представляет собой бесконечную последовательность нулей и единиц. Она...