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

[pechkin]

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

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

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

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

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

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

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

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

Comments

Offtopic: add a friend

[natsla.livejournal.com]

Дорогой Степан Маркелыч,

твой читатель, лжеюзер spaniard, оказался твоим давним и верным поклонником, выразившим в частной беседе сожаление, что ты его не помнишь. Извини за странную просьбу, но, может, добавишь его во френды? Ему будет приятно, а в наше время фанаты - на вес одного там алхимического материала, сам понимаешь.

Re: Offtopic: add a friend

[pechkin.livejournal.com]

фанаты... "Ну, ладно, щас посмотрю." (с)