Изменения

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

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

3 байта убрано, 12:39, 5 марта 2010
м
Иллюстрация
<math>\left[1,10^{10}\right),
\left[\underbrace{10^{10^{\cdot^{\cdot^{10}}}}}_4, \underbrace{10^{10^{\cdot^{\cdot^{10}}}}}_6\right), \dots</math>
Далее будем обозначать <math>\underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n</math>www как <math>^{n}a</math>.
Рассмотрим язык <math>SAT</math>. Логично предположить, что как в <math>A</math>,
109
правок

Навигация