Вкратце: берём некоторую Машину Тьюринга (МТ), и проверяем на каких входных данных она закончит вычисление за конечное время.
Допустим это:
0100100...
011000011001010...
101100001100101...
00100001111010011101...
110110000101001000100...
и так далее.
Входные данные, которые следуют далее за указанными, не важны, т.к. МТ их не прочитает.
Теперь можно посчитать вероятность того, что эта МТ остановится на равномерно случайных входных данных:
где
- определяющий префикс входных данных, и
- его длина.
Эта вероятность - конкретное число между 0 и 1, трансцендентное, и невычислимое, т.к. проблема останова (halting problem) МТ неразрешима.
Такое число называется константой Хайтина (Chaitin's Constant). Таких констант целый класс, т.к. число зависит от конкретного варианта МТ.
Для некоторых вариантов МТ вычислены начальные биты этой константы. Полностью же такую константу вычислить невозможно, хотя она и вполне определена.