Теорема Гудштейна - Goodsteins theorem - Wikipedia

В математическая логика, Теорема Гудштейна это заявление о натуральные числа, доказано Рубен Гудштейн в 1944 г., где говорится, что каждый Последовательность Гудштейна в конце концов заканчивается на 0. Кирби и Пэрис[1] показал, что это недоказуемо в Арифметика Пеано (но это может быть доказано в более сильных системах, таких как арифметика второго порядка ). Это был третий пример истинного утверждения, недоказуемого в арифметике Пеано, после Теорема Гёделя о неполноте и Герхард Гентцен прямое доказательство недоказуемости ε в 1943 г.0-индукция по арифметике Пеано. В Теорема Пэрис – Харрингтона был более поздним примером.

Лоуренс Кирби и Джефф Пэрис представил теоретико-графовую гидра игра с поведением, аналогичным последовательностям Гудштейна: «Гидра» (названная в честь мифологического многоголового Гидра Лерны ) является деревом с корнями, и ход состоит в отсечении одной из его «голов» (ветви дерева), на что гидра отвечает, вырастая конечное число новых голов по определенным правилам. Кирби и Пэрис доказали, что Гидра в конечном итоге будет убита, независимо от стратегии, которую Геракл использует, чтобы отрубить ей головы, хотя это может занять очень много времени. Как и в случае с последовательностями Гудштейна, Кирби и Пэрис показали, что это не может быть доказано одной арифметикой Пеано.[1]

Наследственная база-п обозначение

Последовательности Гудстейна определяются в терминах концепции, называемой "наследственная основа".п обозначение ». Эти обозначения очень похожи на обычныеп позиционные обозначения, но обычных обозначений недостаточно для целей теоремы Гудстейна.

В обычной базе-п обозначение, где п натуральное число больше 1, произвольное натуральное число м записывается как сумма кратных степеней п:

где каждый коэффициент ая удовлетворяет 0 ≤ ая < п, и аk ≠ 0. Например, в базе 2

Таким образом, представление 35 по основанию 2 равно 100011, что означает 25 + 2 + 1. Точно так же 100, представленное в базе-3, равно 10201:

Обратите внимание, что сами показатели не записываются в базовом формате.п обозначение. Например, приведенные выше выражения включают 25 и 34и 5> 2, 4> 3.

Чтобы преобразовать базу-п представительство на наследственной основеп обозначение, сначала перепишите все экспоненты в базе-п обозначение. Затем перепишите все показатели внутри показателей и продолжайте таким образом до тех пор, пока каждое число, появляющееся в выражении (кроме самих оснований), не будет преобразовано в основание.п обозначение.

Например, в то время как 35 в обычной записи с основанием 2 это 25 + 2 + 1, он записывается в наследственных обозначениях с основанием 2 как

используя тот факт, что 5 = 22 + 1. Точно так же 100 в наследственной системе счисления с основанием 3 равно

Последовательности Гудштейна

В Последовательность Гудштейна грамм(м) числа м представляет собой последовательность натуральных чисел. Первый элемент в последовательности грамм(м) является м сам. Чтобы получить второй, грамм(м) (2) запишите м в наследственной системе счисления с основанием 2 замените все двойки на тройки, а затем вычтите 1 из результата. В целом (п + 1) -й срок грамм(м)(п + 1) последовательности Гудштейна м как следует:

  • Возьмите наследственную основу -п + 1 представление грамм(м)(п).
  • Замените каждое вхождение основания-п + 1 с п + 2.
  • Вычтите один. (Обратите внимание, что следующий член зависит как от предыдущего члена, так и от индекса п.)
  • Продолжайте до тех пор, пока результат не станет нулевым, после чего последовательность завершится.

Ранние последовательности Гудштейна быстро обрываются. Например, грамм(3) заканчивается на 6-м шаге:

ОснованиеНаследственные обозначенияЦенитьПримечания
23Запишите 3 в системе счисления с основанием 2
33Измените 2 на 3, затем вычтите 1
43Измените 3 на 4, затем вычтите 1. Теперь четверок больше не осталось.
52Не осталось 4 с, чтобы переключиться на 5 с. Просто вычтите 1
61Нет 5 секунд, чтобы переключиться на 6 секунд. Просто вычтите 1
70Не осталось 6 секунд, чтобы переключиться на 7. Просто вычтите 1

Позже последовательности Гудштейна увеличиваются на очень большое количество шагов. Например, грамм(4) OEISA056193 начинается следующим образом:

ОснованиеНаследственные обозначенияЦенить
24
326
441
560
683
7109
11253
12299
241151

Элементы грамм(4) некоторое время продолжают увеличиваться, но на основании , они достигают максимума , оставайся там до следующего шагов, а затем начните свой первый спуск.

Значение 0 достигается на базе . (Любопытно, что это Номер Вудалла: . То же самое и со всеми другими окончательными базами для начальных значений больше 4.[нужна цитата ])

Однако даже грамм(4) не дает представления о том, как быстро элементы последовательности Гудштейна могут увеличиваться.грамм(19) возрастает гораздо быстрее и начинается следующим образом:

Наследственные обозначенияЦенить
19
7625597484990

Несмотря на такой быстрый рост, теорема Гудстейна утверждает, что каждая последовательность Гудштейна в конечном итоге заканчивается на 0, независимо от начального значения.

Доказательство теоремы Гудштейна

Теорема Гудстейна может быть доказана (с использованием методов, выходящих за рамки арифметики Пеано, см. Ниже) следующим образом: дана последовательность Гудстейна грамм(м) построим параллельную последовательность п(м) из порядковые номера который строго убывает и заканчивается. потом грамм(м) также должен завершиться, и он может прекратиться только тогда, когда он перейдет в 0. Распространенное заблуждение этого доказательства - верить, что грамм(м) переходит в 0 потому что в нем преобладают п(м). Собственно то, что п(м) доминирует грамм(м) не играет никакой роли. Важный момент: грамм(м)(k) существует тогда и только тогда, когда п(м)(k) существует (параллелизм). Тогда если п(м) завершается, так же как и грамм(м). И грамм(м) может завершиться только тогда, когда доходит до 0.

Определим функцию который вычисляет наследственную базу k представление ты а затем заменяет каждое вхождение основания k с первым бесконечным порядковый номер ω. Например, .

Каждый термин п(м)(п) последовательности п(м) тогда определяется как ж(грамм(м)(п),п + 1). Например, грамм(3)(1) = 3 = 21 + 20 и п(3)(1) = ж(21 + 20, 2) = ω1 + ω0 = ω + 1. Сложение, умножение и возведение порядковых чисел в степень хорошо определены.

Мы утверждаем, что :

Позволять быть грамм(м)(п) после применения первого, изменение базы операция по генерации следующего элемента последовательности Гудштейна, но перед вторым минус 1 работа в этом поколении. Заметьте, что .

Тогда ясно, . Теперь применим минус 1 операция, и , так как .Например, и , так и , что строго меньше. Обратите внимание, что для расчета f (G (m) (n), n + 1), нам сначала нужно написать грамм(м)(п) в наследственной базе п+1 обозначение, как, например, выражение либо не имеет смысла, либо равно .

Таким образом, последовательность п(м) строго убывает. Поскольку стандартный порядок <порядковых номеров равен обоснованный, бесконечная строго убывающая последовательность не может существовать, или, что то же самое, любая строго убывающая последовательность порядковых номеров завершается (и не может быть бесконечной). Но п(м)(п) рассчитывается непосредственно из грамм(м)(п). Следовательно, последовательность грамм(м) также должен завершиться, что означает, что он должен достичь 0.

Хотя это доказательство теоремы Гудстейна довольно просто, Теорема Кирби – Пэрис,[1] который показывает, что теорема Гудстейна не является теоремой арифметики Пеано, является технической и значительно более сложной. Он использует счетные нестандартные модели арифметики Пеано.

Расширенная теорема Гудштейна

Предположим, что определение последовательности Гудштейна изменено так, что вместо замены каждого вхождения основания б с б+1он заменяет его б+2. Будет ли последовательность завершаться? В общем, пусть б1, б2, б3, ... быть любыми последовательностями целых чисел. Тогда пусть п+ 1-йсрок грамм(м)(п+1) расширенной последовательности Гудштейна м быть следующим образом: взять наследственную основу бп представлениеграмм(м)(п) и замените каждое вхождение основания бпс бп+1 а затем вычтите единицу. Утверждение состоит в том, что эта последовательность все еще завершается. п(м)(п) = ж(грамм(м)(п), п) как следует: взять наследственную основу бп представлениеграмм(м)(п) и замените каждое вхождение основаниябп с первым бесконечным порядковый номер ω. изменение базы работа последовательности Гудштейна при выходе из грамм(м)(п) к грамм(м)(п+1) по-прежнему не меняет значение ж.Например, если бп = 4 и если бп+1 = 9,тогда, следовательно, порядковый строго больше порядкового

Длина последовательности как функция от начального значения

В Функция Гудштейна, , определяется так, что - длина последовательности Гудштейна, которая начинается с п. (Это общая функция поскольку каждая последовательность Гудштейна обрывается.) Чрезвычайная скорость роста можно откалибровать, связав его с различными стандартными иерархиями функций, индексируемыми по порядковому номеру, такими как функции в Харди иерархия, а функции в быстрорастущая иерархия Лёба и Вайнера:

  • Кирби и Пэрис (1982) доказали, что
имеет примерно такую ​​же скорость роста, как (что такое же, как у ); точнее, доминирует для каждого , и доминирует
(Для любых двух функций , говорят доминировать если для всех достаточно больших .)
  • Cichon (1983) показал, что
куда это результат помещения п в наследственной системе обозначений с основанием 2, а затем заменив все 2 на ω (как это было сделано при доказательстве теоремы Гудстейна).
  • Caicedo (2007) показал, что если с тогда
.

Некоторые примеры:

п
12
24
36
43·2402653211 − 2 ≈ 6.895080803×10121210694
5> А (4,4)>
6> А(6,6)
7> А(8,8)
8> А3(3,3) = А(А(61, 61), А(61, 61))
12> жω + 1(64) > Число Грэма
19

(За Функция Аккермана и Число Грэма границы см. быстрорастущая иерархия # Функции в быстрорастущих иерархиях.)

Приложение к вычислимым функциям

Теорема Гудстейна может быть использована для построения общей вычислимая функция что арифметика Пеано не может быть полной. Последовательность чисел Гудштейна можно эффективно перечислить с помощью Машина Тьюринга; таким образом функция, которая отображает п к количеству шагов, необходимых для последовательности Гудштейна п to terminate вычислим на конкретной машине Тьюринга. Эта машина просто перечисляет последовательность Гудштейна п и, когда последовательность достигает 0, возвращает длину последовательности. Поскольку каждая последовательность Гудштейна в конечном итоге завершается, эта функция является полной. Но поскольку арифметика Пеано не доказывает, что каждая последовательность Гудштейна завершается, арифметика Пеано не доказывает, что эта машина Тьюринга вычисляет полную функцию.

Смотрите также

Рекомендации

  1. ^ а б c Кирби, L .; Пэрис, Дж. (1982). «Доступные результаты независимости для арифметики Пеано» (PDF). Бюллетень Лондонского математического общества. 14 (4): 285. CiteSeerX  10.1.1.107.3303. Дои:10.1112 / blms / 14.4.285.

Библиография

внешняя ссылка