Изменения

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

Busy beaver

40 байт добавлено, 17:44, 3 января 2013
Нет описания правки
{{Утверждение
|statement=
<tex>BB(n)</tex> растет быстрее любой всюду определенной неубывающей [[Вычислимые функции|вычислимой функции ]] <tex>f(n) : N \rightarrow N </tex>, то есть для всех <tex>n</tex> кроме конечного числа выполнено <tex>BB(n) > f(n)</tex>
|proof=
Пусть <tex>f(n)</tex> представлена своим кодом.
355
правок

Навигация