ТЕ-01. Эшби: необходимое разнообразие и теорема о хорошем регуляторе

И это оговорка самих авторов, напечатанная в статье 1970 г. — не позднейшая критика (атрибуция исправлена 2026-08-26 по первичному тексту, В-2 §6): класс опоры выше, чем считалось.

Содержание

Авторство и годы. W. Ross Ashby, An Introduction to Cybernetics, Chapman & Hall, 1956, §11/11 — закон необходимого разнообразия. Roger C. Conant, W. Ross Ashby, «Every good regulator of a system must be a model of that system», International Journal of Systems Science 1(2):89–97, 1970, DOI 10.1080/00207727008920220 — теорема о хорошем регуляторе. [факт] (И-3, И-6, И-7 по реестру Р-4).

Закон необходимого разнообразия. Дословно у Эшби [факт]:

«Only variety can destroy variety.» «R's capacity as a regulator cannot exceed R's capacity as a channel of communication.»

Общепринятая запись — V(C) ≥ V(D): разнообразие регулятора не ниже разнообразия возмущений (сверка — И-4 [экспертное мнение], И-5 [рецензируемое]).

Второе высказывание — про канал связи, и оно для темы проекта важнее первого: способность управлять ограничена пропускной способностью канала между управляемым и управляющим. [гипотеза] Отсюда: аргумент «дайте управленцу больше данных о процессе» — это аргумент Эшби, а не вендора; и наоборот — если разнообразие организации растёт быстрее разнообразия управляющего контура, управление формально невозможно, сколько бы дашбордов ни поставили.

Теорема о хорошем регуляторе. Формулировка авторов дословно (первичный текст прочитан В-2, 2026-08-26): «Theorem: The simplest optimal regulator R of a reguland S produces events R which are related to the events S by a mapping h: S → R.» И их же расшифровка: «Restated somewhat less rigorously, the theorem says that the best regulator of a system is one which is a model of that system in the sense that the regulator's actions are merely the system's actions as seen through a mapping h.» Оптимальность определена как минимум энтропии H(Z). [факт] Это — самое прямое из существующих теоретических обоснований DT-подхода: «чтобы хорошо управлять заводом, нужна модель завода».

⚠ Уточнение о преемственности (В-2, 2026-08-26). Формулировка узла «идея вошла в теорию управления как internal model principle» верна, но неполна: вошла она через Francis B. A., Wonham W. M. «The internal model principle of control theory», Automatica 12 (1976) 457–465, а не напрямую. По оценке Baez, именно эта работа «seem[s] to be more careful in stating assumptions and conclusions», тогда как Conant & Ashby дали лишь «plausibility arguments in favor of the internal model idea».

Критика — существенная. [факт]

1. ⚠⚠ Название сильнее доказательства — и это оговорка САМИХ Conant & Ashby, а не Baez (атрибуция исправлена 2026-08-26, В-2 §6). Оговорка напечатана в оригинальной статье сразу после доказательства, дословно: «The Theorem calls for several comments. First, it leaves open the possibility that there are regulators which are just as successful (just as 'optimal') as the simplest optimal regulator(s) but which are unnecessarily complex. In this regard, the theorem can be interpreted as saying that although not all optimal regulators are models of their regulands, the ones which are not are all unnecessarily complex.» → Содержание оговорки базы верно и обеспечено сильнее, чем база думала: класс источника поднимается с [экспертное мнение] до [рецензируемое — первичный текст]. Прежняя атрибуция Baez'у снята. 1-бис. Что поправил Baez на самом деле — четыре другие претензии, и они жёстче (пост «The Internal Model Principle», Azimuth, 27.01.2016; ⚠ в базе он цитировался как «The Good Regulator Theorem» — это слаг URL, а не название):
2. статья непрочитываема как математика: «when I tried to read Conant and Ashby's paper, I got stuck. They use some very basic mathematical notation in nonstandard ways, and they don't clearly state the hypotheses and conclusion of their theorem.»; про ключевое условие — «I can't parse this»; про саму теорему — «This barely makes any sense at all.»;
3. доказательство вводит допущения, которых нет в формулировке (распределение на S и условное p(R|S)): «their 'proof' introduces extra assumptions that were not mentioned in the statement of the theorem»;
4. это не «тогда и только тогда» — реконструируя ядро как энтропийную лемму, Baez специально отмечает: «Note that this is not an 'if and only if'.» Равенство достигается, если существует функция h, но не обратно. Это и есть настоящая формальная поправка, и она даёт вывод базы (наличие модели — не необходимое условие оптимальности) по другому основанию;
5. половина конструкции в доказательстве не используется: «the set D and the functions out of this set seem to play no role in their proof!»; «(Where did the subset G of "good" outcomes go?…)» — ни возмущения, ни определение «хорошего» исхода в доказательство не входят.
6. Теорема не говорит, как регулятор становится хорошим. Она описывает свойство уже-оптимального регулятора, а не рецепт построения, и опирается на допущение детерминированного отображения (И-9, [справочное]).

Итог по критике: практический вывод базы (асимметрия импликации, «наличие двойника не достаточно») остаётся в силе и укрепляется — теперь он стоит на первичном тексте авторов и на формальной поправке Baez одновременно.

Эмпирическая база. Формально-математическая теорема; эмпирической проверки не требует и не имеет. Закон необходимого разнообразия — рамка без контролируемой проверки. Статус доказательности по шкале Р-4: Эшби-1956 — C (рецензируемая рамка без эмпирической проверки), Conant & Ashby-1970 — B (рецензируемая теория, эмпирика частичная). [факт по классификации сырья]

Предсказательная сила для управления по двойнику. [гипотеза]

1. Асимметрия импликации. Наличие двойника не является достаточным условием управляемости; отсутствие модели — достаточное условие неуправляемости при высоком разнообразии. Вендорская риторика эту асимметрию систематически переворачивает.
2. Механизм отказа №1 «недостаточное разнообразие» (позиция 1 в сводке восьми механизмов Р-4 §5.6): контур не догоняет объект.
3. Механизм отказа №2 «ложная импликация»: наличие модели принято за достаточность — прямое следствие чтения заголовка теоремы вместо доказательства.

Не найдено в сырье. Формальные пере-разборы теоремы Conant–Ashby после 2016 г.: справочные источники называют только Baez (2016). Работы 2025–2026 гг. на arXiv по «good regulator theorem for embodied agents» существуют, но их содержание в заходе Р-4 не проверялось (Р-4, «Не подтвердилось», п. 10).

Данные

Связан с

Ссылки сверены связывателем с фактическим составом Узлы/ на 2026-08-25; неразрешённые адресаты помечены ⚠ узел не заведён (кандидат).

• ТЕ-02 Бир: Viable System Model (VSM) — VSM встраивает закон Эшби в практическую схему через инженерию разнообразия.
• ТЕ-08 Академическая критика DTO против рыночной рамки Gartner — «нужна новая наука» есть современное прочтение того же зазора между моделью и управляемостью.
• ПН-04 Ненаблюдаемые переменные: зачем модель нужна в контуре — прямое приложение аргумента о канале связи.
• ПР-01 Мониторинг реального времени — теория обосновывает практику: уплотнение измерительной ветви контура.
• РИ-07 Ложная уверенность в модели — риск вырастает ровно из переворота импликации теоремы.
• МФ-10 «Купил платформу — получил двойника» — миф разбирается недостаточностью модели по Conant–Ashby.

Источники

• И-3 — Ashby W.R. An Introduction to Cybernetics, 1956, §11/11 — дословные формулировки закона — http://panarchy.org/ashby/variety.1956.html · [рецензируемое, копия] · обращение 2026-08-23.
• И-6 — Conant R.C., Ashby W.R., IJSS 1(2):89–97, 1970 — выходные данные и формулировка теоремы — https://www.tandfonline.com/doi/abs/10.1080/00207727008920220 · [рецензируемое] · обращение 2026-08-23.
• И-7 — открытая копия той же работы, прочитана целиком (В-2, 2026-08-26, curl → pymupdf, 10 стр., 195 КБ, читаемый текстовый слой): дословная формулировка теоремы, авторская расшифровка и авторская же оговорка «although not all optimal regulators are models of their regulands, the ones which are not are all unnecessarily complex» — https://pespmc1.vub.ac.be/books/Conant_Ashby.pdf · [рецензируемое — первичный текст] · обращение 2026-08-26.
• И-8 — Baez J. «The Internal Model Principle», Azimuth, 27.01.2016 (⚠ прежде цитировался в базе как «The Good Regulator Theorem» — это слаг URL; <title> и og:title страницы дают другое название) — четыре собственные претензии Baez: непрочитываемость нотации, скрытые допущения в доказательстве, «not an 'if and only if'», неиспользуемая часть конструкции; плюс указание на Francis & Wonham 1976 как на работу, через которую IMP вошёл в теорию управления · https://johncarlosbaez.wordpress.com/2016/01/27/the-good-regulator-theorem/ · канал: WebFetch → 403, curl с UA → 200 · [экспертное мнение] · обращение 2026-08-26.
• Francis B. A., Wonham W. M. «The internal model principle of control theory», Automatica 12 (1976) 457–465 — работа, через которую internal model principle стал классическим результатом теории управления ⚠ текст в проекте не открывался, известна по указанию Baez · [рецензируемое — по вторичному указанию] · 2026-08-26.
• Исследование/Верификация_В-2_академические_2026-08-25.md §6 — протокол сверки атрибуции · 2026-08-26 · [внутренний протокол верификации].
• И-9 — Good regulator theorem, сверка допущений — https://en.wikipedia.org/wiki/Good_regulator_theorem · [справочное] · обращение 2026-08-23.
• И-5 — «Requisite Variety and Its Implications for the Control of Complex Systems» — сверка записи V(C) ≥ V(D) — https://link.springer.com/chapter/10.1007/978-1-4899-0718-9_28 · [рецензируемое] · обращение 2026-08-23.
• Носитель выжимки: Исследование/Р-4_Теории_управления_по_модели.md, §1.2–1.3, RQ6 поз. 3–4.

Оговорка о дате обращения (относится ко всем ТЕ-узлам): реестр Р-4 датирует обращение ко всем URL 2026-08-23; в самом файле Р-4 (§0) зафиксировано расхождение с системными часами среды (2026-08-25) — двое суток, на содержание источников не влияет.

Открытые хвосты

• Содержание arXiv-работ 2025–2026 по «good regulator theorem for embodied agents» — не проверялось.
• ✅ Частично закрыто (В-2, 2026-08-26): Conant–Ashby 1970 прочитан целиком по открытой копии (pespmc1.vub.ac.be), формулировка теоремы и авторские комментарии сверены дословно. ⏳ Остаток: Эшби-1956 по-прежнему по открытой копии/аннотациям; издательской версии Conant–Ashby (Taylor & Francis) не открывали; Francis & Wonham 1976 не читалась, а именно через неё internal model principle вошёл в теорию управления — это самый содержательный из оставшихся хвостов узла.

Правка по верификации первоисточников 2026-08-26 (В-2). Исправлена атрибуция несущей оговорки: «не всякий хороший регулятор — модель» принадлежит самим Conant & Ashby (1970), первичный текст, а не Baez'у (2016) — класс опоры поднят с [экспертное мнение] до [рецензируемое — первичный текст], содержание оговорки подтверждено дословно. За Baez'ом оставлены его собственные четыре претензии, из которых главная — «not an 'if and only if'» (и она даёт вывод базы по другому основанию), плюс «extra assumptions», непрочитываемость нотации и неиспользуемая часть конструкции. Название поста исправлено на «The Internal Model Principle» (в базе стояло «The Good Regulator Theorem» — это слаг URL). Внесена преемственность через Francis & Wonham 1976: IMP вошёл в теорию управления через них, а не напрямую от Conant & Ashby, у которых, по Baez, лишь «plausibility arguments». Формулировка теоремы и её авторская расшифровка вписаны дословно. Практический вывод узла не изменился и укрепился.

Проверен на дату: 2026-08-26