... ↑
wake_ в посте Metapractice (оригинал в ЖЖ)
In 1952 Alan Turing, in study of embryology, published a groundbreaking paper that laid the foundation for the concept of emergence. Within the constraints of a formal mathematical symbol system, he derived insights into morphogenesis—how form selforganizes from the interactions among well-defined processes. He found that forms observed in nature (dappled patterns, radial whorls seen in leaves around stems) resulted naturally from the interplay of coupled nonlinear equations that in themselves had no hints of the higher order characteristics of the emergent forms. Turning’s paper has become among the most seminal of the twentieth century (Keller, p. 108). Fifty years later this insight can now be more easily understood through more accessible formalisms,
often derived from the languages of computing (e.g., Holland, 1998, p. 103, p. 125). For example, the gliders generated by simple rules in Conway’s cellular automaton, Life (e.g., Holland 1998, p. 138) skate across a computer screen, transforming and reforming as they interact. Gliders have become a canonical example of emergence. Furthermore, simple cellular automaton rules can produce gliders that generate other gliders (see
http://llk.media.mit.edu/projects/emergence/index.html).
Модельные интуиции про эмерджентность.
В 1952 Алан Тьюринг, изучая эмбриологию опубликовал труд, который стал прорывом в концепции эмерджентности. Внутри ограничений формальной символьной математической системы он вывел инсайты про морфогенезис – как форма самоорганизовавается от взаимодействий среди хорошо определенных процессов. Он обнаружил что формы наблюдаемые в природе (паттерны пятен, рисунки листьев) естественно происходили от взаимодействия пар нелинейных уравнений которые в себе не имели намека на характеристики более высокого порядка эмерджентных форм. Работа Тьюринга стала одной из самых плодовитых работ 20 столетия. 50 лет спустя этот инсайт может быть понят через более доступные формализмы, часто взятые из языков программирования. Например, глайдеры сгенерированные по простым правилам клеточной автоматизации Конвэя “Жизнь” скользят по экрану компьютера трансформируясь и преобразовываясь по мере взаимодействия. Глайдеры стали каноническим примером эмерджентности. Более того, простые правила клеточной автоматизации позволяют производить глайдеров, которые производят других глайдеров(см. http://llk.media.mit.edu/projects/emergence/index.html).
1 комментарий
Модельные интуиции про эмерджентность.
В 1952 Алан Тьюринг, изучая эмбриологию опубликовал труд, который стал прорывом в концепции эмерджентности. Внутри ограничений формальной символьной математической системы он вывел инсайты про морфогенезис – как форма самоорганизовавается от взаимодействий среди хорошо определенных процессов. Он обнаружил что формы наблюдаемые в природе (паттерны пятен, рисунки листьев) естественно происходили от взаимодействия пар нелинейных уравнений которые в себе не имели намека на характеристики более высокого порядка эмерджентных форм. Работа Тьюринга стала одной из самых плодовитых работ 20 столетия.
1 Собственно непонятно где скрывается в этом примере "модель эмерджентности:
--в паттерне распределения пятен (по-видимому в раскраске различных живых существ)
--или в нелинейных уравнениях
2 В приведенном примере эмерджентность спрятана в "эмбриологии", м.б. в генетике. Потому как только взаимодействия генов могут образовывать систему с новыми эмерджентными свойствами. А еще точнее, система, образующаяся от взаимодействия генов и внешних условий развития организма.
3 Наблюдение мета-паттерна совпадения пятен-рисунков различных живых существ есть аналоговое указание на некую "эмерджентность". Но еще поломать себе голову, чтобы было возможно указать в точности на элементы всей "системы", которые входя в нее, дают это мета-совпадение. Самой забавное, что указанные линейные уравнения никакого отношения к этой "эмерджентности пятен-рисунков" не имеют, так как являются просто вторичным артефактом.
4 Но, даже если бы и было ВОЗНИКНОВЕНИЕ (именно возникновение, а не формальный факт существования) пятен-рисунков примером эмерджентности, которая выражалась бы в неких уравнениях. Вот вопрос, эмерджентность выявлялась бы в "переходе":
--от пятен-рисунков к уравнениям
или
--от уравнений к пятнам рисункам
Это важный вопрос, ибо к одним и тем же уравнениям "подгоняются" и к пятна-рисунки и бог знает что еще! И это будет значить, что все что мы можем "подтянуть" к выражению через уравнения будет подлежать некоей "эмерджентности"? Входить в некую систему? Ну, тогда уже существует "чистая" эмерджентность всего на свете - это вся теоретическая/абстрактная математика! А моделирование вырождается в математическую герменевтику, в которой под любое уравнение надо только подтянуть некое аналоговое явление, процесс, сущность!
50 лет спустя этот инсайт может быть понят через более доступные формализмы, часто взятые из языков программирования. Например, глайдеры сгенерированные по простым правилам клеточной автоматизации Конвэя “Жизнь” скользят по экрану компьютера трансформируясь и преобразовываясь по мере взаимодействия.
Генерация изображения по кодам программирования ежели и представляет пример эмерджентности, то только лишь в совершенно формализованных и точных системах. Сам факт, что там начинают двигаться "глайдеры", "человечки" (да хоть кто+что угодно) являтся таким же артефактом, как линейные уравнения, описывающие пятна-рисунки!
Глайдеры стали каноническим примером эмерджентности.
..эмерджентности из формальных систем/алгоритмов.
Более того, простые правила клеточной автоматизации позволяют производить глайдеров, которые производят других глайдеров(см. http://llk.media.mit.edu/projects/emergence/index.html).
Ага, таким путем сейчас спародирую применение математической герменевтики для извлечения "эмерджентности":
--Маша + Коля = Любовь + Загс + Семья + Дети
--2 + 2 = (1+1+1+1) - вот у нас получилась великая математическая формула "эмерджентности" всего и навеки. Теперь только осталось везде находить ее "подтверждение".
В 1952 Алан Тьюринг, изучая эмбриологию опубликовал труд, который стал прорывом в концепции эмерджентности. Внутри ограничений формальной символьной математической системы он вывел инсайты про морфогенезис – как форма самоорганизовавается от взаимодействий среди хорошо определенных процессов. Он обнаружил что формы наблюдаемые в природе (паттерны пятен, рисунки листьев) естественно происходили от взаимодействия пар нелинейных уравнений которые в себе не имели намека на характеристики более высокого порядка эмерджентных форм. Работа Тьюринга стала одной из самых плодовитых работ 20 столетия.
1 Собственно непонятно где скрывается в этом примере "модель эмерджентности:
--в паттерне распределения пятен (по-видимому в раскраске различных живых существ)
--или в нелинейных уравнениях
2 В приведенном примере эмерджентность спрятана в "эмбриологии", м.б. в генетике. Потому как только взаимодействия генов могут образовывать систему с новыми эмерджентными свойствами. А еще точнее, система, образующаяся от взаимодействия генов и внешних условий развития организма.
3 Наблюдение мета-паттерна совпадения пятен-рисунков различных живых существ есть аналоговое указание на некую "эмерджентность". Но еще поломать себе голову, чтобы было возможно указать в точности на элементы всей "системы", которые входя в нее, дают это мета-совпадение. Самой забавное, что указанные линейные уравнения никакого отношения к этой "эмерджентности пятен-рисунков" не имеют, так как являются просто вторичным артефактом.
4 Но, даже если бы и было ВОЗНИКНОВЕНИЕ (именно возникновение, а не формальный факт существования) пятен-рисунков примером эмерджентности, которая выражалась бы в неких уравнениях. Вот вопрос, эмерджентность выявлялась бы в "переходе":
--от пятен-рисунков к уравнениям
или
--от уравнений к пятнам рисункам
Это важный вопрос, ибо к одним и тем же уравнениям "подгоняются" и к пятна-рисунки и бог знает что еще! И это будет значить, что все что мы можем "подтянуть" к выражению через уравнения будет подлежать некоей "эмерджентности"? Входить в некую систему? Ну, тогда уже существует "чистая" эмерджентность всего на свете - это вся теоретическая/абстрактная математика! А моделирование вырождается в математическую герменевтику, в которой под любое уравнение надо только подтянуть некое аналоговое явление, процесс, сущность!
50 лет спустя этот инсайт может быть понят через более доступные формализмы, часто взятые из языков программирования. Например, глайдеры сгенерированные по простым правилам клеточной автоматизации Конвэя “Жизнь” скользят по экрану компьютера трансформируясь и преобразовываясь по мере взаимодействия.
Генерация изображения по кодам программирования ежели и представляет пример эмерджентности, то только лишь в совершенно формализованных и точных системах. Сам факт, что там начинают двигаться "глайдеры", "человечки" (да хоть кто+что угодно) являтся таким же артефактом, как линейные уравнения, описывающие пятна-рисунки!
Глайдеры стали каноническим примером эмерджентности.
..эмерджентности из формальных систем/алгоритмов.
Более того, простые правила клеточной автоматизации позволяют производить глайдеров, которые производят других глайдеров(см. http://llk.media.mit.edu/projects/emergence/index.html).
Ага, таким путем сейчас спародирую применение математической герменевтики для извлечения "эмерджентности":
--Маша + Коля = Любовь + Загс + Семья + Дети
--2 + 2 = (1+1+1+1) - вот у нас получилась великая математическая формула "эмерджентности" всего и навеки. Теперь только осталось везде находить ее "подтверждение".