Наука — это чемпионат архиваторов: от Птолемея до Максвелла

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

Кеплер и Ньютон выиграли не потому, что были красивее, а потому, что их описание не росло с числом данных. Вот почему бритва Оккама — не эстетическое предпочтение усталых профессоров, а рабочая техника.

💬 «Каждая настоящая революция — это акт архивации, после которого прошлое знание не отменяется, а перестаёт занимать отдельное место».

Турнирная таблица теорий

Если наука — это чемпионат архиваторов, то у нас должна быть турнирная таблица. Вот она. Критерий простой: насколько быстро растёт длина описания теории с увеличением числа данных, которые она должна объяснить.

Птолемей: эпициклы как ручное дописывание кода

Птолемеевская система работала: она предсказывала небо неплохо. Но у неё был фатальный недостаток с точки зрения архивации. За каждое новое расхождение с наблюдениями приходилось платить новым эпициклом — то есть дописывать код вручную под каждый конкретный случай.

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

Кеплер и Ньютон: описание, которое не растёт

Кеплер заменил тысячи строк наблюдений Марса тремя законами. Ньютон пошёл ещё дальше: из трёх законов и закона гравитации выводится всё движение планет. Их описание не растёт с числом данных — и именно это делает их теориями-чемпионами.

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

Бритва Оккама как принцип минимальной длины описания

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

Теория, подогнанная под каждую точку, ничего не сэкономила — вы просто переписали данные другим шрифтом.

Максвелл: четыре уравнения, съевшие гору фактов

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

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

💬 «Хорошая теория всегда возвращает больше, чем в неё вложили, и это единственный надёжный признак, что вы нашли настоящую регулярность».

Почему прогресс ощущается как упрощение

Учебники толстеют, но это обманчиво. Толстеет охват, а не ядро. Ядро становится короче. Каждая настоящая революция — это акт архивации, после которого прошлое знание не отменяется, а перестаёт занимать отдельное место.

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