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

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

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

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

Маленькая викторина: отгадайте что это такое

Что это такое?

Классическая статья Уильяма Эшби по теории самоорганизации

Английский психиатр и кибернетик
Уильям Росс Эшби (1903-1972).
Источник: Википедия

Мне бы хотелось выложить здесь небольшой конспект классической статьи по теории организации динамических систем:

Ashby, W. R. (1962): Principles of the self-organizing system. Principles of Self-Organization: Transactions of the University of Illinois Symposium, H. Von Foerster and G. W. Zopf, Jr. (eds.), Pergamon Press: London, UK, pp. 255-278.

В конспекте излагаются мысли автора. Мои частные единичные комментарии выделены курсивом. В конце конспекта следует параграф моих общих комментариев.

Еще две ссылки на работы Кирка Дерстона

Привожу две ссылки, которые показались мне очень интересными:

1. Кусок видео-презентации К.Дерстона:

http://www.metacafe.com/watch/10335610/the_origin_of_life_requires_intelligence_kirk_durston_phd/

2. Статья К.Дерстона, представляющая собой выжимку его ранее опубликованной статьи, где был представлен метод оценки количества функциональной информации в 35 семействах белков. Более новая статья-выжимка выдеражана в популярном стиле изложения без технических деталей:

http://powertochange.com/wp-content/uploads/2012/11/Devious-Distortions-Durston-or-Myers_.pdf

О важности традиции языком программиста

Благовещенский собор Московского Кремля.

Христосъ Воскресе!

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