Ну, вот она, современная алхимия! или Мысли студента-троечника.

Машина Раймонда Луллия позволяла посредством алеф-0 переборов мудрых слов на дисках получить изречение Высшей Истины.

Исчисление программ (на языке S) числами Гёделя, в принципе, позволяет посредством перебора алеф-0 программ найти программу Высшей Истины.

Что отличает алхимию теории вычислимости от алхимии классической -- это возможность детерминированно доказать существование соответствующего проявления Высшей Истины. Поскольку можно перебрать все алеф-0 возможных программ, если Высшая Истина существует, то существует и программа, ее вычисляющая, и ее число находится среди натуральных чисел. Значит, программа, перебирающая все натуральные числа и проверяющая каждое число на то, вычисляет ли соответствующая ему программа Высшую Истину, гарантированно остановится.

Проблема здесь та же -- как опознать Высшую Истину в данном ее проявлении. В нашем случае это означает, что нужно найти программу проверки -- предикат, останавливающийся для любого ввода.

И другая проблема -- как ею пользоваться, опознав.

Эти проблемы в алхимии предполагаются решаемыми.

Думается, что некоторые эвристики из классической алхимии можно перевести на язык алхимии теории вычислимости.

Воображению видятся множества-Серы, программа-Меркурий, множество чисел Зеленого и Красного Льва... алгоритм Борьбы Лисы с Петухом...