алгоритмическая случайность

Идея Хайтина о том, что отсутствие кратких описаний у некоторых строк ограничивает возможности формальных систем.