Теорема Гудстейна: различия между версиями

'''Теорема Гудстейна''' — теорема [[математическая логика|математической логики]] о [[натуральные числа|натуральных числах]], доказанная [[Гудстейн, Рубен|Рубеном Гудстейном]].<ref>{{Citation |last=Goodstein |first=R. |authorlink=Reuben Goodstein |url=http://www.jstor.org/pss/2268019 |title=

On the restricted ordinal theorem |journal=[[Journal of Symbolic Logic]] |volume=9 |year=1944 |pages=33–41 }}</ref>. Утверждает, что все последовательности Гудстейна заканчиваются нулём. Как показали [[Кирби, Лори|Л. Кирби]] и {{Не переведено|:en:Jeff Paris|Парис, Джефф|Дж. Парис}},<ref>{{Citation |last=Kirby |first=L. |authorlink=Laurie Kirby |last2=Paris |first2=J. |authorlink2=Jeff Paris |url=http://reference.kfupm.edu.sa/content/a/c/accessible_independence_results_for_pean_59864.pdf |title=Accessible independence results for Peano arithmetic |journal=Bulletin London Mathematical Society |volume=14 |year=1982 |pages=285–293 }}</ref><ref>Роджер Пенроуз. Большое малое и человеческий разум. Приложение 1.</ref>. Теорема Гудстейна эквивалентна утверждению о непротиворечивости [[аксиомы Пеано|арифметики Пеано]] <math>(PA)</math>, а поэтому, в силу [[Теорема Гёделя о неполноте#Вторая теорема Гёделя|второй теоремы Гёделя]] и непротиворечивости <math>PA,</math> теорема Гудстейна недоказуема в <math>PA</math> (но может быть доказана, например, в [[арифметика второго порядка|арифметике второго порядка]]).

Например, запишем число 581, используя основание 2.