Изменения

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

Колмогоровская сложность

251 байт добавлено, 19:07, 7 января 2017
Альтернативное доказательство с использованием теоремы о рекурсии
</code>
Начиная с Длина этой программы меньше длины минимальной программы, которая возвращает <tex> x_0 x</tex>, на пустом входе. Поэтому возникает противоречие. Следовательно <tex> f(x) > |p| K </tex>невычислима.
==Применение==
313
правок

Навигация