Журнал Компьютерра - Журнал «Компьютерра» №31 от 30 августа 2005 года

А напоследок пожалуюсь в личном порядке: кажется, дальнейшее улучшение теоретических оценок на решение SAT уже мало кому интересно (конечно, менее чем экспоненциальная оценка была бы интересна всем и каждому, но в существование таких алгоритмов верится с трудом). На последней конференции SAT-2005, целиком посвященной проблеме решения задачи пропозициональной выполнимости, была только одна работа с теоретическими оценками. Причем была улучшена оценка относительно количества переменных в формуле - что, как правило, гораздо сложнее и интереснее, нежели улучшать оценки относительно длины (теория Кульмана-Люкхардта плохо работает). Но ее приняли только в качестве постера. Зато в докладах были бесконечные «мы написали еще один солвер, вот как он работает»… Совсем в индустрию ударились… ну и ладно, мы им всем еще покажем.

Сегодня мы опять, вслед за майской статьей Якова Кротова в «КТ» #592 и темой #545 «КТ» «Бога нет?», обращаемся к теме «религия и инфотех». Михаил Ваннах рассказывает о проблемах церкви в цифровую эпоху, а также о преломлении кибернетических и эволюционных идей в современном богословии. - Л.Л.-М.

Использовать данные позитивных наук для вынесения суждений по проблемам теологии занятие довольно бесполезное. Но если взять «классическое» естествознание - физику до относительности и квантов плюс эволюционизм (времен до «нового синтеза») и проэкстраполировать их на жизнь общества, а затем и на богословие, можно получить довольно странный результат.

Апофеоз богословия естественного

«Tantum religio potuit suadere malorum».

T. Lucretius Carus, «De rerum natura» ["Сколько злодеяний вытекают из религии". Тит Лукреций Кар (98-55 до Х.Э.), «О природе вещей»]

«Gott mit uns» («С нами Бог») - так было написано на пряжках солдат Третьего Рейха. Солдат, присягавших вождю германской нации Адольфу Гитлеру, который предпочитал античность из-за отсутствия сифилиса и христианства. Солдат, ложившихся в песок Африки и суглинок России под гимны евангелических пасторов. Как же разрешается этот парадокс?

Стандартный ответ прост. Гитлер с его неоязычеством тактически отложил борьбу с христианской церковью до успешного завершения Второй мировой. Потом христиан ждала бы судьба иудеев. А на пряжках солдат, по образцу эсэсманов, появилось бы политкорректное «Честь в верности». Но из этой схемы выпадает несколько фактов.

Во-первых - язычество, религия примитивных народов. Белокурые арийские девушки в долгополых одеяниях, вершащие обряды плодородия. Описанные у криптоисториков и спародированные Пелевиным да Лазарчуком с Успенским тибетцы в эсэсовских мундирах. В эру ракет и реактивных истребителей!

Во-вторых - существование движения Немецких христиан, Имперского епископа Людвига Мюллера и довольно серьезно проработанной ими теологии. Отнюдь не сводимой к зоологическому антисемитизму Нюрнбергских законов, отличной от общепринятого христианства, но, увы, казавшейся привлекательной очень многим в Германии 30-х годов прошлого века - стране, до того четыре десятилетия лидировавшей в мире по числу научных публикаций.

Парадокс этот раскрыл великий богослов XX века Карл Барт (Karl Barth, 1886-1968) в работе «Nein! Antwort an Emil Brunner», 1934 («Нет! Ответ Эмилю Бруннеру» - полемика с другим выдающимся богословом, Генрихом Эмилем Бруннером [1889-1966]). Там Карл Барт пришел к странному на первый взгляд выводу. Выводу, вполне достойному созданной им дисциплины - диалектической теологии.

Начало вероучения Немецких христиан было им прослежено до Theologia Naturalis, до естественного богословия.

Отсылая интересующихся к статье «Место для Бога» ["КТ" #545], скажем вкратце, что естественное богословие - это дисциплина, пытавшаяся вывести бытие Бога из данных позитивных наук. Популярная со времен Фомы Аквината; оттесненная на периферию познания космологией Ньютона-Лапласа; окончательно отброшенная в прошлое с появлением эволюционной теории сэра Чарльза Дарвина.

Никакие данные естествознания не могут служить для подтверждения того, что есть Бог христианской религии. Точно так же они не могут быть употреблены для опровержения Его существования.

Но легко (при некотором навыке к софистике и схоластике) вывести из естествознания божков расы или нации, Высших существ, каких-либо Абсолютов, завершить их Абсолютом в пределе. Популярные у алхимиков и астрологов, не бесполезные для оттачивания мышления на предмет работы с бесконечно большими или малыми величинами, с алефами разных порядков (символы мощности в теории множеств. - Л.Л.-М.), эти тени гнозиса по определению не имеют никакого отношения к Богу монотеизма. Все, что логически завершает человеческое мышление, что выводится из более простого как обобщение, не есть Бог иудео-христианства. Но очень здорово подходит на вакантную должность божества Немецких христиан.