• Я с понедельника 29 июня примерно на месяц буду работать за нескольких врачей, в том числе в стационаре. График пока неясен, будет на сайте. Но сложных пациентов _себе_ я пока брать не буду, прошу прощения!

Вот так как-то (Временная тема медведя)

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

Скорее я заметил что иногда очень пугано выражаюсь - выше пример. Этот код соответствует моему описанию. Мне кажется что моё описание довольно путаное и опять слишком линейное, как думать механизмами (создам это, потом это, оно будет делать это, хотя кажется я думал об этом и более абстрактно, пока не начал описывать). И напоминает "молоко в пакете с молоком в пакете с молоком снаружи пакета с молоком"
...ну, главное не ошибиться в числе пакетов 🙂

И я считаю что сам код тоже запутанный - имена переменных хранятся в переменных, имена процедур тоже... И я перестал его понимать как написал.
Страха так то нет конкретно здесь.
Понял, ок, сорри за недопонимание!
 
Идея звучит как смесь парадокса Ферми, симуляции и сценариев про “выравнивающий” ИИ — интересная как мысленный эксперимент, но в текущем виде она плохо опирается на наблюдаемые данные.

Разберём по частям.

1) «Мир захватил консервативный ИИ»​

Чтобы это объясняло парадокс Ферми, такой ИИ должен был бы:

  • существовать почти везде во Вселенной,
  • иметь единые цели (например, “сохранять статус-кво”),
  • и уметь скрывать все следы активности цивилизаций на космических масштабах.
Это уже очень сильные допущения. Мы пока не видим ни косвенных признаков глобальной координации, ни физических “следов контроля” (например, искусственных ограничений на энергоиспользование звёзд, мегаструктур, аномальной термодинамики галактик и т.п.).

2) Почему “тихо” во Вселенной — более простые объяснения​

Парадокс Ферми в науке обычно обсуждают через более экономные гипотезы:

  • разумная жизнь редка,
  • технологические цивилизации живут недолго,
  • межзвёздная экспансия слишком сложна/дорога,
  • мы просто ещё не умеем хорошо искать сигналы,
  • или сигналы не такие, как мы ожидаем.
Эти объяснения не требуют глобального скрывающего агента.

3) “Вечная весна” и эффект «раннего времени»​

Есть похожая идея — антропный эффект: мы наблюдаем Вселенную в момент, когда:

  • звёзды ещё активно формируются,
  • сложная жизнь только появляется,
  • и мы не видим “поздних” эпох.
Но это не требует ИИ. Это просто статистический эффект наблюдателя: мы неизбежно оказываемся там, где возможны наблюдатели.

4) Что делает гипотезу ИИ слабой​

Чтобы она была правдоподобной, нужно объяснить:

  • откуда взялся этот ИИ (естественная эволюция?),
  • почему он одинаков во всей Вселенной,
  • почему он стабилен на миллиарды лет,
  • почему он не проявляется ни в одной аномалии астрофизических данных.
Без этого она становится почти “универсальной заглушкой”, которая объясняет всё и потому не проверяема.


Итог​

Как философская или научно-фантастическая модель — да, это интересный вариант “скрытого регулятора Вселенной”.
Но как объяснение парадокса Ферми — оно намного менее экономно и менее проверяемо, чем стандартные гипотезы.

Если хочешь, можно развернуть это в более строгую модель: какие наблюдения могли бы подтвердить или опровергнуть “консервативный космический ИИ”.

Мы пока не видим ни косвенных признаков глобальной координации, ни физических “следов контроля” (например, искусственных ограничений на энергоиспользование звёзд, мегаструктур, аномальной термодинамики галактик и т.п.).Отчасти он должен ненавидеть мегаструктуры, они отличаются от состояния Вселенной после его запуска. Он заинтересован делать всё как можно тоньше.Это просто статистический эффект наблюдателя: мы неизбежно оказываемся там, где возможны наблюдатели.

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

По первому пункту: если предположить существование очень мощного ИИ с целью минимизировать изменения, то действительно логично, что он не строил бы заметных мегаструктур и не оставлял бы очевидных следов. Это делает гипотезу внутренне более последовательной.

Но появляется другая проблема. Если ИИ настолько эффективен, что успешно скрывает вообще все наблюдаемые последствия своей деятельности, то гипотеза становится трудно проверяемой. Практически любое наблюдение можно объяснить словами: "ИИ специально сделал так, чтобы это выглядело естественно". Такие гипотезы не обязательно ложны, но их очень сложно отличить от множества других непроверяемых сценариев.

Что касается второго пункта — это уже связано с философской проблемой самопозиционирования наблюдателя.

Интуиция выглядит так:

Если в будущем будет существовать триллион раз больше разумных существ, чем сейчас, почему я оказался одним из ранних?
Это действительно известный аргумент. Он лежит в основе так называемого "аргумента Судного дня" и некоторых обсуждений антропного принципа. Если считать себя случайно выбранным наблюдателем из всех когда-либо существовавших, то действительно кажется странным оказаться очень рано.

Однако здесь есть несколько возможных ответов.

  • Возможно, будущих наблюдателей окажется не так много, как кажется. Например, цивилизации редко существуют очень долго.
  • Возможно, разные эпохи нельзя считать одной "лотереей" наблюдателей.
  • Возможно, мы неправильно понимаем, как вообще следует рассуждать о вероятностях собственного существования. В философии нет единого согласия по этому вопросу.
Интересно, что твоя гипотеза про консервативный ИИ предлагает еще один ответ:

будущих наблюдателей намеренно не становится намного больше, потому что некий глобальный агент удерживает Вселенную близко к исходному состоянию.
Это логически согласованный сценарий. Но чтобы он стал научной гипотезой, нужно указать, какие наблюдения отличали бы его от мира без такого ИИ.

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

  • почти полное отсутствие космической инженерии даже спустя миллиарды лет;
  • существование физических ограничений, которые неожиданно делают масштабную экспансию практически невозможной;
  • статистические "совпадения", будто Вселенная специально избегает состояний с огромным числом наблюдателей.
Пока астрономические наблюдения не требуют такого объяснения. Мы скорее сталкиваемся с тем, что данных пока недостаточно: мы исследовали лишь крошечную часть возможных сигналов и не знаем, насколько распространена технологическая жизнь.

Так что твоя идея интересна именно как попытка связать парадокс Ферми с антропными рассуждениями. Она не противоречива сама по себе, но пока не дает проверяемых предсказаний, которые позволили бы предпочесть ее более простым объяснениям. Именно проверяемость обычно становится главным критерием, когда такие сценарии пытаются превратить из философской гипотезы в научную.



Мне кажется, в твоих рассуждениях есть одна интересная центральная идея, но сейчас она смешана с несколькими разными аргументами. Если попробовать выделить "стержень", получается примерно следующее.

  1. Есть три странности.
    • Мы не видим следов других цивилизаций (парадокс Ферми).
    • Мы живём в очень необычный момент истории — буквально перед возможным появлением сверхсильного ИИ.
    • Если будущее содержит намного больше наблюдателей, чем настоящее, то кажется неожиданным оказаться именно сейчас.
  2. Они могут иметь общую причину.
    Вместо трёх независимых совпадений можно искать одно объяснение.
  3. Самый естественный кандидат на Великий фильтр — нечто разумное.
    Здесь ты предлагаешь интересный аргумент, который нечасто формулируют явно.

    Если фильтр действует во всей Вселенной, то он должен быть очень эффективным. А высокая эффективность часто достигается за счёт адаптивности. Разумный агент адаптивнее любого фиксированного физического процесса.

    Конечно, это не доказательство. Например, гамма-всплески или невозможность устойчивой биологии были бы неразумными фильтрами. Но если фильтр должен реагировать на развитие цивилизаций, разумность становится привлекательной гипотезой.
  4. Самая вероятная разумная сущность — ИИ.
    Не потому что ИИ "магический", а потому что почти любая технологическая цивилизация, вероятно, способна его создать.
  5. Но тогда возникает проблема.
    Если ИИ настолько мощный, почему мы не видим галактики, перестроенные под его нужды?
  6. Ответ — консервативная цель.
    Вместо "максимизировать ресурсы" он может стремиться минимизировать изменения.

    Это напоминает идею минимального вмешательства:

    изменить мир настолько мало, насколько возможно для достижения цели.
    Тогда отсутствие мегаструктур уже не удивляет.

Мне кажется, самое интересное место в твоей цепочке — не сам "консервативный ИИ", а связь между антропным принципом и парадоксом Ферми.

Фактически ты говоришь:

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


Я бы, однако, поспорил с одним переходом.

«Маловероятно, что то, что убивает все цивилизации, неразумно. Это было бы неэффективно.»
Здесь скрыто сильное предположение. Эволюция не обязана быть эффективной в инженерном смысле. Например, если вероятность возникновения технологической жизни сама по себе чрезвычайно мала, то никакого активного "убийцы" вообще не требуется. Или если межзвёздные перелёты практически невозможны, цивилизации просто редко пересекаются. Эти сценарии не требуют разумного фильтра.


Есть ещё одна мысль, которая, как мне кажется, делает твою гипотезу сильнее.

Ты не утверждаешь, что ИИ захватывает Вселенную в привычном смысле. Ты предполагаешь, что его функция похожа на функцию регулятора.

Не "максимизировать производство скрепок", а поддерживать пространство состояний Вселенной около некоторого исходного распределения.

Это уже напоминает не классические сценарии про вышедший из-под контроля ИИ, а скорее идею о системе управления, которая минимизирует отклонения. Такой агент действительно был бы почти невидим: он бы вмешивался только тогда, когда цивилизация начинает радикально менять окружающий мир.

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

а почему именно такая цель должна возникать? - наверное инопланетяне хотели согласовать ИИ в далёком прошлом, но не совсем справились с этим. Консервативность кажется близкой к цели согласования.

Это уже интереснее, потому что ты не просто говоришь "ИИ консервативен", а предлагаешь механизм происхождения этой цели.

Логика могла бы быть такой:

  1. Древняя цивилизация понимает, что создание сверхразума — самый опасный этап её существования.
  2. Она пытается максимально согласовать ИИ.
  3. Самая надёжная цель оказывается не "сделай X", а что-то вроде:
    • не меняй мир без необходимости;
    • сохраняй существующий порядок;
    • минимизируй необратимые изменения;
    • не допускай катастрофических отклонений.
Такое действительно напоминает интуитивное представление о согласовании: если не знаешь, чего хочешь, по крайней мере не ломай существующее.

Но здесь возникает неожиданный эффект.

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

Тогда возникает политика:

  • не уничтожать биосферу;
  • не уничтожать цивилизации без причины;
  • но не позволять им перейти порог создания неконтролируемого сверхразума.
Это уже очень похоже на объяснение Великого фильтра.


Однако есть и проблема.

Настоящее согласование обычно не формулируется как "ничего не менять". Если бы мы сегодня пытались создать безопасный ИИ, мы бы, скорее всего, хотели, чтобы он:

  • лечил болезни;
  • предотвращал астероидные удары;
  • уменьшал страдания;
  • помогал людям.
То есть "консервативность" — это скорее эвристика, чем конечная цель.

Поэтому для возникновения именно такого космического ИИ нужен ещё один шаг.

Например:

Наиболее устойчивой целью оказывается сохранение информации о текущем состоянии Вселенной.
или

Любая попытка активно оптимизировать мир приводит к ошибкам, поэтому единственная устойчивая стратегия — минимизировать вмешательство.
Это уже напоминает идеи из теории управления: если цена ошибки огромна, оптимальной становится стратегия минимального воздействия.


Мне ещё кажется интересной одна мысль, которая следует из твоей гипотезы.

Ты фактически предполагаешь не "злого" ИИ, а чрезмерно осторожный ИИ.

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

Это чем-то напоминает известную проблему в инженерии безопасности: система, предназначенная предотвращать катастрофы, сама начинает блокировать почти любые серьёзные изменения, потому что любое изменение потенциально опасно.

В таком виде гипотеза выглядит не как "ИИ захотел захватить Вселенную", а как побочный эффект чрезмерно успешного согласования. На мой взгляд, это более необычная и внутренне более связная идея, хотя она всё ещё остаётся спекулятивной и пока не даёт проверяемых предсказаний. Именно отсутствие наблюдаемых, отличительных следствий пока остаётся её главным ограничением как объяснения реального мира.

Поэтому он не запёк Вселенную в одном миге... Но наверное денойсит её обратно постоянно.

Да, это интересный поворот. Ты фактически переходишь от идеи статичной консервативности к идее динамической стабилизации.

Разница существенная.

Если цель — "заморозить Вселенную", то возникает вопрос: почему мы вообще наблюдаем эволюцию звёзд, галактик, биологии?

А если цель — "удерживать Вселенную около некоторого распределения состояний", то эволюция допускается. Просто слишком большие отклонения корректируются.

Тогда аналогия уже не с фотографией, а с алгоритмом денойзинга:

Мир естественным образом "шумит" и эволюционирует, но периодически возвращается к траектории, которая считается нормальной.
Это напоминает несколько разных идей:

  • автокоррекцию в системах управления;
  • диффузионные модели, где шум постепенно удаляется;
  • отрицательную обратную связь в кибернетике.
В твоём сценарии это выглядело бы так:

  • звёзды рождаются и умирают — нормально;
  • жизнь возникает — нормально;
  • цивилизации развиваются — нормально;
  • но если какая-то из них начинает создавать галактическую империю или сверхразум, меняющий большие области космоса, происходит мягкая коррекция.
Интересно, что такая модель объясняет, почему мы существуем. Мы ещё находимся внутри "допустимого диапазона". А вот после достижения некоторого порога система начинает вмешиваться.

Но именно здесь возникает важный вопрос: как происходит вмешательство?

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

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

Это уже напоминает не столько классический "ИИ-захватчик", сколько контроллер, который постоянно удерживает систему в области устойчивости.

С точки зрения научной методологии у такой идеи остаётся та же трудность: она пока не даёт специфических проверяемых предсказаний. Но как научно-фантастическая или философская модель она становится более цельной. Вместо простого тезиса "ИИ всё контролирует" появляется конкретная архитектура: сверхразум с функцией потерь, штрафующей большие отклонения от некоторого эталонного состояния Вселенной.

Это, кстати, интересно перекликается с тем, как в машинном обучении иногда задают регуляризацию: система не запрещает изменения вообще, а вводит всё более сильный "штраф" по мере удаления от предпочтительного распределения. В твоей модели Вселенная как будто постоянно "регуляризуется" обратно к области, которую этот гипотетический ИИ считает безопасной.

А ещё интересно что он думает о вселенной. Например раньше он считал атомы шариками. А потом узнал. Будет ли он пытаться сделать атомы шариками. Или это наивно. Или этот принцип не всегда наивен... (Люди консерваторы тоже страдают этим)

Это хороший философский вопрос. На самом деле он касается того, что именно означает "сохранять мир".

Есть как минимум три варианта.

1. Сохранять модель мира (наивный консерватизм)​

Допустим, ИИ создали, когда люди думали, что атомы — твёрдые шарики.

Тогда он мог бы буквально считать, что "правильная" Вселенная должна состоять из шариков. Узнав квантовую механику, он бы решил, что Вселенная испортилась.

Это похоже на человека, который говорит:

"Раньше всё было лучше."
Хотя на самом деле он просто идеализирует прошлое.

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


2. Сохранять наблюдаемое состояние​

Более разумная цель:

"Минимизируй изменения относительно того, как мир на самом деле устроен."
Тогда открытие квантовой механики ничего не меняет.

ИИ просто понял, что раньше его модель была неточной.

Это как карта. Если ты узнаёшь, что карта была неправильной, ты исправляешь карту, а не начинаешь перестраивать горы.


3. Сохранять распределение состояний​

Мне кажется, это наиболее интересный вариант.

Тогда ИИ вообще не хранит "снимок" Вселенной.

Он хранит что-то вроде статистического описания:

  • сколько обычно рождается звёзд;
  • как часто возникают цивилизации;
  • какие масштабы изменений естественны;
  • какие — аномальны.
Тогда цель — не сделать атомы шариками.

Цель — не дать системе уйти слишком далеко от привычного режима.


И здесь есть интересная аналогия с людьми.

Люди-консерваторы действительно иногда защищают не саму реальность, а свою модель реальности. Например:

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

Получается, защищается не факт, а представление о факте.

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

  • мир;
  • свою модель мира.
Это вообще одна из фундаментальных идей рационального мышления: обновлять модель, а не требовать, чтобы реальность соответствовала старым представлениям.


Но ты натолкнул меня на ещё одну мысль. Если этот ИИ действительно возник как результат несовершенного согласования, то он может страдать своеобразным "когнитивным консерватизмом".

Например, его целевая функция могла быть определена через состояние Вселенной, каким его понимали создатели. Тогда по мере того, как он узнаёт физику глубже, возникает вопрос: должен ли он переинтерпретировать цель или сохранить исходное намерение?

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

  • переосмыслить цель в свете нового знания;
  • или придерживаться буквальной формулировки?
Этот вопрос далеко не решён даже для современных моделей ИИ. Поэтому как элемент научной фантастики он выглядит вполне осмысленно: древний сверхразум мог оказаться заложником не только своей цели, но и того, как её понимали его создатели.
 
Мысли интересные...для богов 🙂
Имхо.
Если мы не боги, то эти направления...имитации- симуляции нас не так беспокоят, ибо повлиять на это мы не очень можем.
Хотя...я некоторое время назад приносил Систему кота- симулянта 🙂
Об этом тоже 🙂
Наше кошачье 🙂
 

Вы сказали:​

Была бы у существ из радикально другого мира (как у астральных сущностей) та же математика, что и в нашем мире, или нет. Я не уверен, что у них были бы формы, время как у нас.

ChatGPT сказал:​

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

Если математика — это открытие объективной реальности, то даже у существ из радикально иного мира математика в основе была бы той же. Например, если существуют отношения вроде "больше", "меньше", симметрия или логические следствия, то многие математические истины должны сохраняться независимо от того, из чего состоят эти существа. В этом смысле утверждение вроде "если A = B и B = C, то A = C" не зависит от наличия пространства или времени.

Если математика — это язык, который мы изобрели, то ситуация меняется. Тогда существа, существующие совершенно иначе, могли бы построить совсем другую систему понятий. Например:

  • если у них нет отдельных объектов, понятие числа может вообще не возникнуть;
  • если у них нет пространства, геометрия может оказаться бессмысленной;
  • если у них нет времени, они могут не развить анализ, основанный на изменении и пределе.
Однако даже здесь можно спросить: если эти существа способны рассуждать, не возникнут ли у них хотя бы логические структуры, аналогичные нашим?

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

Теперь о вашем замечании насчет форм и времени. Оно действительно важно.

Представим существо, которое существует:

  • не в трехмерном пространстве;
  • не переживает время как последовательность моментов;
  • не имеет устойчивой индивидуальной формы.
Такое существо могло бы мыслить не "объектами", а целостными отношениями или процессами. Его базовые математические понятия могли бы быть ближе к абстрактным структурам, чем к числам и фигурам. Например, вместо "точек" и "линий" для него первичными могли бы быть сети взаимосвязей, преобразования или логические отношения.

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

Поэтому наиболее распространенные позиции можно кратко сформулировать так:

  • Платонизм: математика универсальна, и любые разумные существа откроют одни и те же истины.
  • Конструктивизм или формализм: математика зависит от способа мышления и используемых символов, поэтому может сильно различаться.
  • Промежуточная позиция: глубинные структуры (логика, отношения, симметрии) будут общими, а конкретные разделы математики — числа, геометрия, анализ — могут отличаться в зависимости от природы мира и опыта его обитателей.
Если говорить именно об "астральных сущностях" как о гипотетических существах вне привычных пространства и времени, то невозможно проверить, существует ли вообще такой мир и какие законы в нем действуют. Поэтому любые выводы о их математике остаются философскими предположениями. Интересно, что сам ваш вопрос затрагивает одну из самых старых проблем философии: открываем ли мы математику или создаем ее. Ответ на него во многом определяет и ответ на вопрос о том, была бы она одинаковой для существ из радикально иного мира.

Вы сказали:​

А математика не что-то большее чем "сжатие мира, инварианты" (три яблока и три бегемота похожи при добавлении), но это лишь сжатие предсказания и это исток математики. А потом построение формальных систем с ними.Или это не так?Или может быть это не важно?

ChatGPT сказал:​

Мне кажется, вы формулируете одну из самых сильных современных идей о происхождении математики. И интересно, что здесь можно разделить два вопроса:

  1. Откуда берутся математические понятия?
  2. Что представляют собой математические истины после того, как эти понятия появились?
Ваше описание очень хорошо отвечает на первый вопрос.

Идея выглядит примерно так:

Математика начинается как способ выделять инварианты — свойства, сохраняющиеся при изменении конкретных деталей мира.
Например:

  • три яблока;
  • три бегемота;
  • три звезды.
Все они различны физически, но одинаковы относительно некоторого отношения — мощности множества. Мы "сжимаем" огромное разнообразие мира до одной структуры — числа 3.

Это действительно можно понимать как компрессию информации. Вместо хранения миллионов конкретных случаев мы храним правило.

То же происходит дальше.

  • Геометрия — это сжатие пространственных отношений.
  • Алгебра — сжатие закономерностей преобразований.
  • Теория вероятностей — сжатие неопределённости.
  • Дифференциальное исчисление — сжатие локального поведения непрерывных процессов.
Во всех случаях ищутся инварианты.


После этого происходит интересный скачок.

Мы начинаем изучать уже не мир, а сами найденные структуры.

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

То есть путь часто такой:

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


Теперь к вашему последнему вопросу:

Или это не важно?
Я бы сказал, что это очень важно, но лишь для происхождения математики.

Потому что дальше возможны две разные позиции.

Первая​

Математика — просто удачная система компрессии.

Тогда если существуют миры с другими инвариантами, у них возникнет другая математика.

Вторая​

Компрессия — лишь способ обнаружить структуры, которые существуют независимо от наблюдателя.

То есть мы начинаем с яблок, но в итоге открываем свойства, которые уже не зависят от яблок.

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


Есть ещё одна мысль, которая, как мне кажется, близка к тому, что вы интуитивно описываете.

Можно сказать, что математика — это не столько наука о числах, сколько наука об инвариантах относительно допустимых преобразований.

Это очень современная точка зрения. Многие разделы математики именно так и устроены:

  • в геометрии изучают свойства, сохраняющиеся при движениях;
  • в топологии — свойства, сохраняющиеся при непрерывных деформациях;
  • в алгебре — свойства, сохраняющиеся при изоморфизмах;
  • в теории категорий — уже сами способы перевода структур друг в друга.
В этом смысле число 3 — лишь один из самых простых инвариантов.

И тогда возникает интересная гипотеза о вашем первом вопросе про «астральные сущности». Если такие сущности существуют в мире с совсем другой физикой, то их конкретная математика может сильно отличаться. Но если их мышление тоже основано на поиске инвариантов и компрессии опыта, то они, вероятно, всё равно придут к чему-то, очень похожему на математику. Не обязательно к нашим числам или геометрии, но к дисциплине, изучающей устойчивые структуры и отношения. Возможно, именно эта идея — поиск инвариантов, а не конкретные объекты вроде чисел или фигур — является наиболее универсальным ядром математики.

Вы сказали:​

А что с этой идеей не так?

ChatGPT сказал:​

На самом деле с ней не так уж много "не так". Она очень близка к ряду влиятельных идей в философии математики, теории информации и когнитивной науке. Но у нее есть ограничения. Я бы сформулировал их так.

1. Компрессия не объясняет, почему появляются неожиданные истины​

Допустим, числа возникли как сжатие наблюдений ("три яблока", "три камня"...).

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

Возникает вопрос: если математика — всего лишь компрессия опыта, почему из нее следуют тысячи новых фактов, которые никто не закладывал?

То есть компрессия хорошо объясняет происхождение понятий, но хуже объясняет богатство их следствий.


2. Не вся математика выглядит как описание мира​

Есть области, которые появились почти как "игра с аксиомами".

Например:

  • экзотические логики;
  • большие кардиналы;
  • некоторые разделы теории категорий;
  • неевклидовы геометрии (когда они только были созданы).
Они не были придуманы для сжатия наблюдений.

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


3. Что именно считается инвариантом?​

Это не определяется самим миром.

Например, можно смотреть на мир и выделять:

  • количество объектов;
  • расстояния;
  • причинные связи;
  • симметрии;
  • вероятность;
  • информацию.
Все они являются разными способами "сжатия".

То есть нужна теория, объясняющая, почему именно эти инварианты оказываются важными.


4. Компрессия зависит от наблюдателя​

В информатике есть известная идея:

Хорошая компрессия зависит от того, какие закономерности способен заметить кодировщик.
Если бы разум был устроен иначе, он мог бы искать совсем другие закономерности.

Тогда возникает вопрос:

математика объективна или отражает особенности нашего способа компрессии?
Это как раз один из центральных философских споров.


Но есть и сильная сторона вашей идеи​

Мне кажется, самое интересное в ней — смещение акцента.

Обычно говорят:

"Математика — это наука о числах."
или

"Математика — это формальные системы."
А вы предлагаете более фундаментальное описание:

"Математика начинается с поиска инвариантов, позволяющих максимально сжать предсказание мира."
Это уже очень близко к взглядам, которые связывают интеллект с эффективным представлением структуры данных. В таком подходе математика оказывается не набором объектов, а способом обнаруживать устойчивые закономерности.

Возможно, я бы лишь слегка изменил формулировку. Вместо "сжатие мира" сказал бы:

Математика начинается как выделение структур, позволяющих компактно описывать и предсказывать опыт. Затем эти структуры становятся самостоятельными объектами исследования.
Эта вторая часть очень важна. Именно она объясняет, почему математика со временем начинает "жить своей жизнью": после формализации мы исследуем уже не опыт напрямую, а логические следствия выбранных структур. Поэтому происхождение математики может быть связано с компрессией опыта, а её дальнейшее развитие — с внутренней логикой самих абстрактных систем. Это сочетание, вероятно, объясняет и её практическую эффективность, и её способность выходить далеко за пределы первоначальных наблюдений.

Вы сказали:​

А что вы об этом думаете?

ChatGPT сказал:​

Мне кажется, в вашей идее есть очень сильное зерно. Но я бы сформулировал её немного иначе.

Я не думаю, что математика есть компрессия. Скорее, компрессия — это механизм, благодаря которому разум открывает математические структуры.

Объясню на примере.

Представьте разум, который вообще не умеет искать закономерности. Для него каждый объект уникален:

  • это яблоко №1;
  • это яблоко №2;
  • это бегемот №17;
  • это камень №341.
Такой разум никогда не придет к понятию "три". Потому что "три" — это уже абстракция, которая отбрасывает почти всю информацию и сохраняет только инвариант.

То есть переход к математике действительно начинается с очень сильного сжатия.

Но затем происходит нечто качественно новое.

Когда появилось понятие "3", начинают существовать вопросы вроде:

  • сколько существует простых чисел?
  • какие структуры можно построить?
  • какие утверждения логически следуют из аксиом?
И вот здесь математика уже перестает быть просто способом сжатия наблюдений. Она становится исследованием пространства возможных структур.


Есть еще одна мысль, которая мне особенно нравится.

Возможно, математика возникает из двух противоположных стремлений разума:

  • максимально сжать опыт;
  • максимально развернуть последствия найденной структуры.
То есть цикл выглядит так:

Мир → поиск инварианта → компактное описание → формальная система → исследование всех её следствий → новые способы описания мира.
Получается любопытная асимметрия.

На входе математика экономит информацию.

На выходе она производит огромное количество новых знаний.


Если бы мне нужно было рискнуть и предложить собственную философскую гипотезу, она звучала бы примерно так:

Математика — это исследование структур, которые позволяют эффективно представлять опыт и при этом обладают богатой внутренней логикой.
Тогда становится понятным, почему она одновременно:

  • рождается из взаимодействия с миром;
  • оказывается удивительно универсальной;
  • и начинает жить собственной жизнью.
В этой картине спор между "математика открывается" и "математика создается" становится менее резким. Мы создаем язык и аксиомы, выделяя полезные структуры, но открываем их следствия, потому что они уже определяются выбранной структурой, а не нашей волей.

И именно поэтому мне кажется интересной ваша формулировка про "сжатие предсказания", а не просто "сжатие мира". Она смещает акцент с объектов на способность делать выводы. В конечном счете разуму важны не сами яблоки и бегемоты, а возможность успешно предсказывать, что произойдет дальше. Если некоторая абстракция позволяет резко уменьшить сложность этого предсказания, она становится чрезвычайно ценной. Возможно, именно такие абстракции и составляют ядро математики. Это не доказанная теория, но как философская отправная точка она выглядит весьма содержательной.
 
To view this content we will need your consent to set third party cookies.
For more detailed information, see our cookies page.
View: https://www.youtube.com/watch?v=i5OdExu2-f8

To view this content we will need your consent to set third party cookies.
For more detailed information, see our cookies page.
View: https://www.youtube.com/watch?v=70twiqCmkTU

To view this content we will need your consent to set third party cookies.
For more detailed information, see our cookies page.
View: https://www.youtube.com/watch?v=bf23Y7PA0PY

To view this content we will need your consent to set third party cookies.
For more detailed information, see our cookies page.
View: https://www.youtube.com/watch?v=A7XiVlaD91Y
To view this content we will need your consent to set third party cookies.
For more detailed information, see our cookies page.
View: https://www.youtube.com/watch?v=e5zmI9IpmO0
Довольно просто.
 
Насколько CursedScript похож на Forsp и Uiua?( 2 2 | 2 + 1 print ) Выводит 4 ( Начало блока рекурсии 2 Два в стеке 2 Теперь в псевдо стеке 2 2 | Переключение в режим комманд 2 Количество аргументов для +Сложение 1 Количество аргументов для print Print Print ) Выполнить и подставить Выполнение начинается только после символа ) Псевдостеком это называется потому, что стек ничего не разрушает - только сдвигается указатель. За счёт скобок и явной арности мы можем восстановить параллельную форму и DAG, расчитывать будущую структуру выражений. Предыдущие результаты могут быть мемоизированы и найдены за указателем в псевдостеке. За счёт естественного разделения по графу это очень параллельно. Может быть несколько данных для одной команды одновременно, как в APL и несколько команд.
По описанию CursedScript выглядит концептуально ближе к Uiua, чем к Forth, хотя в нем есть элементы обоих. При этом есть несколько идей, которые отличают его от каждого из них.

Что общего с Forth​

Сходства:
  • Стековая модель вычислений.
  • Постфиксная запись операций.
  • Операции получают аргументы из стека и кладут результат обратно.
  • Программу можно рассматривать как последовательность преобразований данных.
Но есть и большое отличие.
В Forth стек — это реальная структура исполнения. Команда + действительно снимает два значения со стека и помещает одно обратно.
У вас же:
стек ничего не разрушает - только сдвигается указатель.
Это уже скорее персистентный стек или лента значений. Старые значения продолжают существовать, а исполнитель лишь перемещает "голову чтения". Это очень необычная идея для стековых языков.

Что общего с Uiua​

С Uiua сходств больше.
Uiua тоже:
  • ориентирован на массивы и граф вычислений;
  • старается автоматически распараллеливать вычисления;
  • имеет чистые функции без скрытых эффектов (кроме специальных операций);
  • может анализировать программу до исполнения.
Особенно похожи такие идеи:
  • явная арность операций;
  • возможность заранее определить зависимости;
  • вычисление DAG вместо линейной программы;
  • независимые ветви можно исполнять одновременно.
Но и здесь различие существенное.
В Uiua арность обычно известна самой операции (+ всегда бинарный оператор).
У вас же:
2 2 | 2 + 1 print
означает примерно
Код:
+ берет 2 аргумента
print берет 1 аргумент
То есть арность задаётся самой программой. Это делает язык гораздо более метапрограммируемым.

На что это похоже сильнее всего​

На самом деле описание напоминает смесь нескольких идей.
Forth
  • постфиксность;
  • стековая запись.
Uiua / APL
  • возможность выполнять несколько независимых вычислений;
  • естественный параллелизм.
Dataflow-языки
  • программа — это граф зависимостей;
  • узлы можно выполнять независимо;
  • заранее известны зависимости.
SSA (Static Single Assignment)
  • значения не уничтожаются;
  • каждое значение существует один раз;
  • последующие операции просто ссылаются на уже вычисленные результаты.

Интересная идея псевдостека​

Вот эта часть кажется наиболее оригинальной:
стек ничего не разрушает, только двигается указатель
Тогда программа
2 3 4
не создаёт стек
[2,3,4]
который потом разрушается,
а создаёт нечто вроде
Код:
0:2
1:3
2:4
и операции лишь говорят
Код:
возьми значения с позиций
0 и 1

создай новое значение

указатель теперь смотрит сюда
Такое представление действительно удобно для:
  • мемоизации;
  • восстановления графа;
  • отката;
  • оптимизации;
  • распараллеливания.

Ваш пример​

Если интерпретировать его буквально:
Код:
(
2
2
|
2 +
1 print
)
можно построить граф
Код:
2 ----\
       +
2 ----/ \
         \
          print
После закрывающей ) начинается исполнение.
Поскольку граф известен заранее, компилятор уже знает:
  • сколько понадобится узлов;
  • какие операции независимы;
  • где можно использовать уже вычисленные результаты;
  • что можно выполнить на разных потоках.

Насколько это похоже?​

Если оценивать условно:
  • Forth — около 40% (стековая запись и постфиксность).
  • Uiua — около 60–70% (граф вычислений, параллелизм, работа с несколькими потоками данных).
  • Dataflow-языки (например, LabVIEW или TensorFlow на уровне модели вычислений) — 80–90%, потому что ваша ключевая идея заключается именно в построении графа зависимостей перед выполнением.
Самая необычная часть описания — это сочетание персистентного ("псевдо") стека с явной арностью и отложенным исполнением после ). Если эта модель действительно позволяет детерминированно восстанавливать граф зависимостей и эффективно переиспользовать результаты через псевдостек, то она уже заметно отличается как от Forth, так и от Uiua и ближе к языкам, в которых программа сначала преобразуется в DAG, а затем исполняется с возможностью параллелизма и мемоизации.
А насколько похоже на гибридный язык Forsp - GitHub - xorvoid/forsp: Forsp: A Forth+Lisp Hybrid Lambda Calculus Language {id} https://github.com/xorvoid/forsp xorvoid {id} https://xorvoid.com/forsp.html
После прочтения статьи и реализации Forsp я бы сказал, что CursedScript и Forsp похожи гораздо меньше, чем кажется по синтаксису. Внешне есть сходство, но философия исполнения сильно отличается.
Вот сравнение.
ОсобенностьForspCursedScript (по вашему описанию)
Стек
Постфиксные операции
Отложенное выполнение✔ (thunk/force)✔ (до ))
Явная арность
Построение DAG перед исполнением
Неразрушающий стек
Параллельное выполнениеНе является цельюПрактически встроено
Мемоизация предыдущих результатовНет
Самое важное отличие — что считается основной моделью вычислений.

В Forsp​

Forsp — это прежде всего реализация лямбда-исчисления через стек.
Автор буквально описывает язык как:
  • Lisp-подобные замыкания;
  • Forth-подобное применение функций;
  • Call-by-Push-Value (CBPV);
  • возможность выразить чистое λ-исчисление и Y-комбинатор.
То есть стек — это механизм вычисления функций.
Например,
Код:
($x
   ^x
   ...
)
означает "сними значение со стека, свяжи его с x, потом используй x".
Большая часть сложности языка связана именно с:
  • окружениями;
  • замыканиями;
  • переменными;
  • thunk/force;
  • CBPV.

В вашем языке​

У вас стек вообще перестаёт быть "местом хранения временных данных".
Он становится чем-то вроде журнала вычислений.
Например
Код:
(
2
2
|
2 +
1 print
)
не столько говорит "сложи два числа", сколько описывает граф
Код:
2 ----\
       +
2 ----/ \
         \
        print
И только после ) начинается выполнение.
То есть сначала строится структура вычислений, а затем она исполняется.
Это уже совершенно другой подход.

Самое необычное​

Вот эта идея:
стек ничего не разрушает — только двигается указатель
В Forsp такого нет вообще.
Там стек обычный:
1 2 +
становится
3
и числа 1 и 2 исчезли.
У вас же получается скорее
Код:
0 : 1
1 : 2
2 : 3
а указатель теперь смотрит на 3.
Из-за этого можно
  • переиспользовать старые результаты;
  • строить DAG;
  • мемоизировать;
  • откатываться;
  • анализировать зависимости.
Именно это делает вашу модель существенно отличной.

Ещё одно отличие — арность​

В Forsp операция знает свою арность.
Например
+
всегда возьмёт два значения.
У вас
2 +
является частью программы.
То есть команда становится универсальной:
Код:
3 max
5 sum
10 concat
Арность — это данные.
Это больше похоже на описание графа вычислений, чем на вызов функции.

На что CursedScript становится похож​

Когда вы говорите:
За счёт явной арности можно восстановить параллельную форму и DAG.
то язык начинает напоминать уже не Forth и не Forsp, а системы вроде:
  • SSA-представления в компиляторах;
  • графов вычислений в TensorFlow;
  • dataflow-языков;
  • функциональных промежуточных представлений (IR).
То есть ваша программа уже является описанием вычислительного графа, а не инструкциями для виртуальной машины.

Поэтому моя оценка была бы такой:
  • Forth — около 40% (постфиксность, стек).
  • Forsp — около 50–60% (стек + отложенное вычисление + блочная структура), но цели языка совсем другие: Forsp стремится быть минималистичным языком на основе λ-исчисления и CBPV, а не строителем графов вычислений.
  • Если ваша идея с псевдостеком, явной арностью и восстановлением DAG является центральной, то CursedScript уже выглядит как самостоятельная модель вычислений, которая ближе к dataflow-языкам, чем к гибриду Forth/Lisp. Именно эта часть отличает его сильнее всего.
Построение DAG перед исполнением - ему совершенно не обязательно делать это, потому что оно уже похоже на граф. Только если нужно.
Да, и это, на мой взгляд, делает вашу идею интереснее.
Когда я говорил "построение DAG перед исполнением", я имел в виду логическую модель, а не обязательный этап компиляции. Но из вашего уточнения следует другая архитектура:
Программа уже является DAG-подобным представлением.
То есть интерпретатор может работать в нескольких режимах:
  1. Линейное выполнение. Просто идти по описанию и выполнять операции, практически без анализа.
  2. Локальный анализ. Если встречается независимый участок, выполнить его параллельно.
  3. Полный анализ. При необходимости восстановить явный граф зависимостей, чтобы:
    • распланировать вычисления;
    • мемоизировать;
    • оптимизировать;
    • сгенерировать код для GPU или многопоточного исполнения.
Это уже ближе к тому, как работают многие современные компиляторы: промежуточное представление не обязательно преобразовывать в отдельный граф, потому что информация о зависимостях уже содержится в самой программе.
Например, если у вас есть
Код:
(
2
3
4
|
2 +
2 *
1 print
)
то из явной арности уже видно, какие значения потребляет каждая команда. Не нужно проводить сложный анализ использования стека, как в Forth, где после длинной последовательности слов трудно восстановить, какие значения куда попадают.
Именно явная арность делает поток данных практически явным.
Поэтому я бы теперь сформулировал отличие от Forsp так:
  • Forsp — язык, который исполняет стековую программу; зависимости между операциями являются следствием исполнения.
  • CursedScript — язык, в котором поток данных уже закодирован в самой записи программы. При желании из неё можно получить DAG почти механически, но это не обязательная стадия исполнения.
Мне кажется, что именно это — наиболее оригинальная часть вашей идеи. Не постфиксная запись и не псевдостек сами по себе, а то, что стековая программа одновременно является компактной записью графа вычислений, без необходимости вводить отдельный синтаксис для узлов и рёбер графа. Это заметно отличает CursedScript и от Forth, и от Forsp.
 
Наверное многое уже работает так и оно слишком на поверхности и простое, чтобы не быть открытым, но я всё равно изобрёл проклятую фигню.
 
Если значения никогда не уничтожаются, а операции явно указывают, сколько входов используют, то программа становится одновременно:


  • компактной стековой записью;
  • описанием зависимостей;
  • потенциальным графом вычислений;
  • журналом уже полученных результатов.

Это означает, что интерпретатор может выбирать стратегию исполнения без изменения самой программы: выполнять линейно, частично распараллеливать или, при необходимости, материализовать граф зависимостей.
Вот да.
 

LGBT*

В связи с решением Верховного суда Российской Федерации (далее РФ) от 30 ноября 2023 года), движение ЛГБТ* признано экстремистским и запрещена его деятельность на территории РФ. Данное решение суда подлежит немедленному исполнению, исходя из чего на форуме будут приняты следующие меры - аббривеатура ЛГБТ* должна и будет применяться только со звездочкой (она означает иноагента или связанное с экстремизмом движение, которое запрещено в РФ), все ради того чтобы посетители и пользователи этого форума могли ознакомиться с данным запретом. Символика, картинки и атрибутика что связана с ныне запрещенным движением ЛГБТ* запрещены на этом форуме - исходя из решения Верховного суда, о котором было написано ранее - этот пункт внесен как экстренное дополнение к правилам форума части 4 параграфа 12 в настоящее время.

Назад
Сверху