Последовательность Спекера — Википедия

Последовательность спекеров Последовательность Спекера является рекурсивным контрпримером к принципу наименьшей верхней границы в математическом анализе.  Последовательность ограничена сверху на 1, […]

Последовательность спекеров

  • Последовательность Спекера является рекурсивным контрпримером к принципу наименьшей верхней границы в математическом анализе. 
  • Последовательность ограничена сверху на 1, но вычислимое вещественное число x не является результатом. 
  • Доказательство использует конкретный факт о вычислимых действительных числах и невозможность существования вычислимой функции r. 
  • Построение последовательности основано на рекурсивно перечислимом наборе натуральных чисел A и вычислимом перечислении A без повторения. 

Полный текст статьи:

Последовательность Спекера — Википедия

Оставьте комментарий

Прокрутить вверх