deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

самоссылочность, квайны, самовоспроизведение, самоорганизация

самоорганизация, самоссылочность, самореференция, рекурсия, индукция, циклы
это все очень важные вещи
на мой взгляд живое отличается от неживого механизмами самоссылочности и самовоспроизводимости
в некотором смысле самовоспроизводимость есть следствие свойства самоссылочности
самоссылочность я ставлю важнее

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

Куайн (квайн, англ. quine) — компьютерная программа, которая выдаёт на выходе точную копию своего исходного текста.
В книге «Этюды для программистов» Чарльза Уэзерелла сформулировано более строгое условие: программа не должна пользоваться приёмами, позволяющими получить доступ к своему исходному коду, хранящемуся в памяти загрузчика или интерпретатора. /вики/

помню казалась задача трудной, но в какойто момент в один миг решилась, прогу написал кажется на паскале (может на пл/1, не помню уже)

Пример куайна (программы, выводящей свой исходный код) на Лиспе:
((lambda (x) (list x (list 'quote x))) '(lambda (x) (list x (list 'quote x))))
https://traditio.wiki/LISP

---
задача:
найти десятизначное число, запись которого одновременно является рассказом об этом числе.
первая цифра - число нулей,
вторая - число единиц,
третья - число двоек,
...
десятая цифра - число девяток.
---

помню как меня завораживал текст в совсем небольшой книжке с названием одной главы "интерпретатор лиспа написанный на лиспе"
думал в чем сила лиспа? сила в самоссылочности, полиморфизме, в возможности по мере исполнения алгоритма на лиспе синтезировать другой алгоритм на лиспе и ему передавать управление, т.е. текст программы это тоже данные

динамичные структуры данных, полиморфизм и все есть данные и все есть программы одни из основных особенностей

искусственный интеллект, мышление это исчисление моделей и их интерпретация,
т.е. генерация моделей управляемая моделями и затем передача алгоритму сформированному в терминах моделей дальнейшего управления, который в свою очередь может формировать модели
этакий процесс суперкомпиляции (приплел сюда Рефал и Турчина)
чуете? )

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

понятно, что алгоритма такого у нас еще нет, есть примерное понимание как его делать
даны ответы на многие вопросы, но не на все
у нас происходит проектирование сверху вниз
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 7 comments