Thursday, 29 August 2013

Вызов эволюционистам

Уважаемые коллеги,

Я обращаюсь с провокацией к тем из читателей блога, кто верит в возможности ненаправленной эволюции (прошу прощения за тавтологию, я должен быть понят однозначно). 

Saturday, 24 August 2013

Музыка как доказательство существования Творца?

Ремесло
Поставил я подножием искусству;
Я сделался ремесленник: перстам
Придал послушную, сухую беглость
И верность уху. Звуки умертвив,
Музыку я разъял, как труп. Поверил
Я алгеброй гармонию.



А.С. Пушкин. "Маленькие трагедии. Моцарт и Сальери"


Мне кажется, что музыка, в некотором смысле, является эстетическим доказательством существования Творца.

Thursday, 22 August 2013

Почему я считаю биологическую макроэволюцию практически невозможной

Несмотря на то, что статистический подход [Abel 2009, Durston et. al. 2007] в вопросах, касающихся организации и функционирования биосистем, правомерен, он, тем не менее, лишен той степени убедительности, которая необходима для демонстрации практической невозможности автоматического/спонтанного возникновения и последующего эволюционного развития живого. Всегда найдутся люди, желающие верить в сколь угодно малую вероятность чего-либо. С этим ничего нельзя поделать: такова уж человеческая психология. Изложенные здесь положения имеют принципиальный характер, что, как мне кажется, отвечает требованию большей убедительности. В этой записке я опираюсь на [Abel 2011], а также на данные и формулировки из личной переписки. Перечисленные ниже идеи не являются моими, я лишь делаю попытку их сжатой систематизации.

Thursday, 8 August 2013

Проблема остановки и алгоритмизация создания алгоритмов

Эту записку я редактировал коренным образом несколько раз.

Недавно на одном из форумов обсуждался вопрос о том, возможно ли создать алгоритм, могущий создавать другие алгоритмы. Я благодарен Дэвиду Абелю, читателям этого блога и лично Юрию Гармаю (см. комментарии ниже), а также участникам указанного форумного обсуждения за ценные замечания.

Ясно, что анализ алгоритмов "на выходе" сильно затруднен алгоритмической неразрешимостью проблемы остановки машины Тьюринга (the halting problem). Отсюда, кстати, вытекает необходимость оракула останова в модели "метажизни" Gregory Chaitin'а (см. мою записку).