March 8th, 2019

формальные системы

формальные системы, строки, формулы, аксиомы, следствия, теоремы


кликабельно (модификация рис. Хофштадтер)

А - множество аксиом
Т - теоремы
НИФ - недостижимые истинные формулы
ОА - отрицание аксиом
ОТ - отрицания теорем
НЛФ - недостижимые ложные формулы

дерево белое в целом это теория
дерево черное в целом это тоже теория(другая)

Collapse )

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

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

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

сложные комплексные модели как психические функции организмов

сложные комплексные модели как модели психических функций организмов

назовем нижеследующие компоненты сложные комплексные модели СК-модели:

обучение, мышление, воображение, внимание, ощущение, восприятие, рефлексия, воля, обучаемость, самообучаемость, творчество, запоминание, память, представление
https://deep-econom.livejournal.com/328888.html

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

СК-модели порождаются динамическим взаимодействием моделей между собой разного уровня, это кластеры разноуровневых взаимодействующих моделей как вне кластеров, осуществляя взаимодействия кластеров, так и внутри кластеров

Collapse )