ФЭНДОМ


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

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

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

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

  1. [1]
  2. [2]

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


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

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

Также на ФЭНДОМЕ

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