это все очень важные вещи
на мой взгляд живое отличается от неживого механизмами самоссылочности и самовоспроизводимости
в некотором смысле самовоспроизводимость есть следствие свойства самоссылочности
самоссылочность я ставлю важнее
Нейман в книге "Дж. фон Нейман, Теория самовоспроизводящихся автоматов" показал теоретически, что построить самовоспроизводящийся автомат не проблема
Куайн (квайн, англ. quine) — компьютерная программа, которая выдаёт на выходе точную копию своего исходного текста.
В книге «Этюды для программистов» Чарльза Уэзерелла сформулировано более строгое условие: программа не должна пользоваться приёмами, позволяющими получить доступ к своему исходному коду, хранящемуся в памяти загрузчика или интерпретатора. /вики/
помню казалась задача трудной, но в какойто момент в один миг решилась, прогу написал кажется на паскале (может на пл/1, не помню уже)
Пример куайна (программы, выводящей свой исходный код) на Лиспе:
((lambda (x) (list x (list 'quote x))) '(lambda (x) (list x (list 'quote x))))
https://traditio.wiki/LISP
---
задача:
найти десятизначное число, запись которого одновременно является рассказом об этом числе.
первая цифра - число нулей,
вторая - число единиц,
третья - число двоек,
...
десятая цифра - число девяток.
---
помню как меня завораживал текст в совсем небольшой книжке с названием одной главы "интерпретатор лиспа написанный на лиспе"
думал в чем сила лиспа? сила в самоссылочности, полиморфизме, в возможности по мере исполнения алгоритма на лиспе синтезировать другой алгоритм на лиспе и ему передавать управление, т.е. текст программы это тоже данные
динамичные структуры данных, полиморфизм и все есть данные и все есть программы одни из основных особенностей
искусственный интеллект, мышление это исчисление моделей и их интерпретация,
т.е. генерация моделей управляемая моделями и затем передача алгоритму сформированному в терминах моделей дальнейшего управления, который в свою очередь может формировать модели
этакий процесс суперкомпиляции (приплел сюда Рефал и Турчина)
чуете? )
ну вот както таким образом и должна происходить самоссылочность, автогенерация и автоисполнение моделей, автомоделирование
понятно, что алгоритма такого у нас еще нет, есть примерное понимание как его делать
даны ответы на многие вопросы, но не на все
у нас происходит проектирование сверху вниз
