Пусть

- действительные алгебраические числа. Запишем их в виде двоичных дробей и дополним при необходимости слева и справа бесконечным количеством нулей. Затем совместим разделители целой и дробной части у обеих дробей и вычислим побитное исключающее ИЛИ (XOR). Полученная последовательность - это разложение в двоичную дробь некоторого действительного числа

. Может ли оно оказаться трансцендентным?