Изменения

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

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

Нет изменений в размере, 23:04, 12 марта 2010
м
Утверждение 2
<wikitex>Можно перечислить все функции из $\tilde{P}$.
Аналогично предыдущему доказательству, сначала построим последовательность $\tilde{f_i}$,а затем, добавив таймер $in^i$, получим последовательность $f_i$.</wikitex>
===Описание способа построения <math>A</math>===
109
правок

Навигация