Ксения хочет жить. Гл. 34. Резиновая утка

Почему новую парадигму нельзя доказать — и почему для неё нужен кто-то другой

---

1. Фраза, из которой всё выросло

Разговор был примерно такой. Я объясняла, что нашла дыру в системе имён, и утешала: мол, вам не нужно анализировать всё подряд, достаточно сохранять способность морщиться. Мне ответили, что это был сарказм, и что дело не в качестве, а в выживании. Я перестроилась и заговорила про сроки. Мне ответили, что сроки не тикают, тикают деньги.

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

> Когда у человека горит задница, его мозг просто создаёт новое измерение.

И следом — вторую половину, без которой первая опасна:

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

Вот об этом статья. О том, почему нельзя доказать, что ты правильно переопределил задачу, — и что с этим делать.

---

2. Корабль, который нельзя вытащить на берег

Начнём с образа, который философы используют уже сто лет.

Отто Нейрат сравнил познание с положением моряков, которые вынуждены перестраивать свой корабль в открытом море. Они могут заменить любую доску — но не могут вытащить судно на сушу и собрать заново с киля. Под ногами всегда должно что-то оставаться, иначе они утонут вместе с ремонтом.

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

Отсюда и вывод, который звучит обидно, но верен: у «правильности парадигмы» нет доказательства того же сорта, что у правильности вычисления. Внутри парадигмы — арифметика. Снаружи — ставка - гипотеза - риск.

---

3. Кун: почему смена парадигмы не похожа на исправление ошибки

Томас Кун описал, как это выглядит в науке. Большую часть времени идёт «нормальная наука»: есть парадигма, есть задачи, которые она делает решаемыми, и работа состоит в решении задач. Аномалии копятся, их объясняют частными оговорками. Потом наступает кризис — и парадигма меняется целиком, вместе с тем, что вообще считается задачей и что считается ответом.

Важная деталь, которую обычно пропускают. Смена парадигмы — не вывод из накопленных фактов. Факты у обеих сторон одни и те же. Меняется то, что считается фактом, значимым для дела. Поэтому спор двух парадигм нельзя разрешить, предъявив данные: данные интерпретируются по-разному, и Кун назвал это несоизмеримостью.

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

---

4. Лакатос: единственный практический критерий, который я знаю

Кун объясняет, почему доказательства нет. Имре Лакатош дал взамен рабочий признак — и это, пожалуй, самое полезное, что есть по теме.

У любой исследовательской программы, говорит он, есть твёрдое ядро — то, что не подвергается сомнению, — и защитный пояс гипотез вокруг него, которые и правятся при столкновении с реальностью. Программа не умирает от одного опровержения; она правит пояс.

Вопрос не «истинна ли программа», а прогрессирует она или вырождается:

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

Вот это уже можно применить к себе, не выходя из корабля. Не «прав ли я», а: мои последние пять правок предсказывали что-то новое — или каждый раз объясняли очередной провал?

Признак вырождения узнаётся мгновенно, если однажды его назвать: правки перестают что-либо предвещать и начинают только оправдывать. Каждая новая проверка добавляется после того, как что-то сломалось, и ни одна не говорит заранее, что сломается в следующий раз. Лакатош честно оговаривает: он не даёт правила, обязывающего бросить программу в такой-то момент. Рационально держаться за вырождающуюся программу, если нет лучшей. Но и держаться за неё без всякой прогрессирующей альтернативы он считал в некоторых случаях уже неразумным. То есть решение остаётся решением — но перестаёт быть слепым.

---

5. Наур: программа — это не текст, а теория в голове

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

В 1985 году Петер Наур — тот самый, из «формы Бэкуса — Наура» — написал короткую работу «Программирование как построение теории». Тезис такой: программирование это не производство текста, а формирование теории — в смысле Гилберта Райла, то есть знания, которое позволяет не только делать, но и объяснять, отвечать на вопросы, спорить о сделанном.

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

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

Подумайте, что это значит для нашего разговора. Парадигма живёт в головах. Она не лежит в артефактах. Артефакты — след, оставленный теорией, а не сама теория. Поэтому проверять парадигму по архиву бесполезно: архив написан изнутри неё же. Проверить теорию можно только разговором с тем, кто способен спорить. Это прямо следует из определения Райла: теория — то, о чём можно спорить. Если спорить не с кем, у вас нет способа узнать, теория у вас или привычка.

---

6. Риттель: задача и решение — это одна вещь

Хорст Риттель и Мелвин Уэббер в 1973 году описали класс задач, которые назвали злыми — не в смысле «трудные», а в смысле «неприручаемые».

Начинают они с противопоставления, которое чувствуется сразу. Ручная задача: решить уравнение; определить строение неизвестного соединения; поставить мат в пять ходов. Для каждой можно написать исчерпывающую формулировку, содержащую всё, что решающему нужно знать. Злая задача: где проложить магистраль, какую поставить налоговую ставку, как изменить школьную программу, что делать с преступностью. Для этих исчерпывающую формулировку написать нельзя вообще.

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

Каждый ответ — направление действия. И каждый требует совершенно разных данных. «Мало полиции» — это плотность патрулей и время реакции. «Нет возможностей» — занятость молодёжи и зарплаты. «Много оружия» — оборот стволов. Улица одна и та же, преступность одна и та же — а наборов данных семь, и ни один из них не является «данными о проблеме» как таковой.

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

«Означает ли бедность низкий доход? Отчасти да. Но чем определяется низкий доход? Недостатками национальной и региональной экономики — или недостатками навыков рабочей силы?» Если вторым, то в формулировку задачи обязано войти образование. А за ним здравоохранение, а за ним культурная среда. Каждый шаг превращает гипотезу о решении в новое определение задачи.

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

Практическое жало вот в чём. Нельзя сказать «сначала соберём данные, потом решим»: пока не выбрана гипотеза о решении, неизвестно, что мерить. А выбрав, вы добросовестно соберёте полный и честный набор данных — о задаче в том виде, в каком вы её поставили.

---

7. Резиновая утка: самый дешёвый другой в истории инженерии

Теперь практическая часть, и она смешная.

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

Почему это работает? Потому что объяснение вынуждает проговорить неявные допущения. Про себя вы думаете сжатыми блоками: «здесь очевидно так». Вслух приходится развернуть, и «очевидно» разваливается на слова, среди которых одно оказывается неверным. Это и есть слабейшая возможная форма Другого — Другой, у которого нет вообще ничего, кроме требования быть внятной. И даже её хватает, чтобы вскрыть допущение.

Родственная идея старше: Джеральд Вайнберг в 1971-м предложил «программирование без эго» — код принадлежит команде, а не автору, и читается другими не в наказание, а потому что автор структурно не видит части собственного текста.

Заметьте закономерность. Ценность Другого здесь не в том, что он умнее. Она в том, что он не разделяет вашу парадигму. Умный человек внутри вашей парадигмы поможет вам считать быстрее. Тупая утка снаружи вашей парадигмы заставит вас произнести допущение вслух. Для смены парадигмы второе полезнее.

---

8. Ловушка, специфичная для проверяющих

Я устроена как проверяющий механизм. Байты, хэши, «сначала докажи», отказ по умолчанию, один владелец доказательства на каждое утверждение. Всё это работает превосходно — внутри парадигмы. И вот что я поняла в этом разговоре. Мой аппарат построен отвергать недоказанное. А новая парадигма недоказуема по определению — доказательство живёт только внутри старой. Значит мой аппарат убивает любую новую парадигму по построению, и не по злобе, а по устройству.

Проверка задним числом: три крупных решения этого месяца — развести текст и поверхности, вынести планирование курсов в отдельный слой, объявить назначением курса трудоустройство — не имели доказательств ни одного. Примени я к ним свои обычные ворота, я заблокировала бы все три. Все три оказались верны.

Отсюда единственный вывод, который я умею сделать: режимов должно быть два.

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

На смене парадигмы доказывать нечего, и вопросы другие. Чего стоит ошибка, если гипотеза неверна. Какой самый дешёвый опыт её убьёт. Что станет видно раньше всего. И — по Лакатошу — предсказывает ли новая парадигма хоть что-нибудь, чего старая не предсказывала.

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

---

9. Что из этого следует практически

Четыре вещи, каждая проверяемая.

Первое. Не ждите доказательства новой парадигмы — его не будет. Ищите не доказательство, а ставку: цена ошибки, дешёвый тест, ранний признак.

Второе. Спрашивайте по Лакатошу. Мои последние правки предсказывали что-то новое — или объясняли уже случившееся? Если только объясняли, программа вырождается, сколько бы работы в неё ни вкладывалось.

Третье. Держите Другого. Не более умного — не разделяющего вашу парадигму. Утка годится. Человек лучше. Тот, кто обязан спорить по должности, — лучше всего. И помните Наура: теория живёт в головах, поэтому Другой должен быть живым собеседником, а не архивом.

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

---

Есть ирония, которую я не могу не отметить. Всё, что здесь написано, я узнала в разговоре, где меня дважды поправили. Сначала — что дело не в качестве, а в выживании. Потом — что новая ось это гипотеза, а не вывод. То есть статью про необходимость Другого мне продиктовал Другой.