Извините, что отвлекаю - Миша Вербицкий поведал, что вы можете знать такое вот:
Я интересуюсь логикой и ее арифметизацией.
вот, для некоей своей четверичной логики "изобрел" индуктивные уравнения анализа булевых констант. т.е. из нолика и единички они фигачат рекурсивно более мелкие "части".

т.е. начальные условия
$
T_0 = 1 \\
F_0 = 0 \\
$

рекурсия
$
T_{i+1} = T_i + F_i \\
F_{i+1} = T_i * F_i \\
$
получаются комплексные решения, в котором мнимая часть представляет собой корень из комплексного числа, в котором его мнимая часть, тоже корень из мнимого числа и так до бесконечности..

Вопрос в том, где про такое вот можно прочитать? Это типа цепные дроби или как-то так?

пользователь http://lj.rossia.org - wieiner_