Изменения

Перейти к: навигация, поиск

Теорема Ладнера

Нет изменений в размере, 15:11, 3 июня 2012
м
Нет описания правки
=== Построение <tex>g</tex> ===
Положим <tex>g(0) = g(1) = 1</tex>. Для <tex>n \ge 1</tex> построим <tex>g(n + 1)</tex> рекурсивно — с помощью <tex>g(10), g(21), \ldots, g(n)</tex>.
* Если <tex>(\log_2 n)^{g(n)} \ge n</tex>, <tex>g(n+1) := g(n)</tex>.
171
правка

Навигация