Фэндом

Гугология Вики

Червь Беклемишева

23статьи на
этой вики
Добавить новую страницу
комментариев0 Поделиться

Червь Беклемишева - конструкция, предложенная российским математиком Львом Дмитриевичем Беклемишевым[1][2]. В ней последовательность неотрицательных целых чисел ("червь") постепенно преобразуется особым образом, пока не сводится к пустой.

Стартовая последовательность (1) сводится к пустой за 3 шага, последовательность (2) - за 51. Для сведения к пустой последовательности (1,2) требуется число шагов, количество знаков в котором больше 1080 (и лишь чуть меньше гугола). Число шагов, за которое сводится к пустой последовательность (3), превышает число Грэхема.

Как доказал Беклемишев, любая стартовая последовательность сведётся к пустой за конечное число шагов. Однако это утверждение недоказуемо в арифметике Пеано.

Ссылки Править

  1. [1]
  2. [2]

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Также на Фэндоме

Случайная вики