Научные представления обычно меняются не потому, что прежние объяснения были “плохими”, а потому что появляются наблюдения, измерения или доказательства, которые в прежнюю картину не укладываются. Тогда приходится уточнять исходные предположения или расширять модель так, чтобы она описывала и старые успешные случаи, и новые факты.
Ниже — несколько историй (математика → физика → космология → физиология), где долгое время доминировала интуитивно убедительная идея, но затем её пришлось пересмотреть.
Подписывайтесь на мой канал в Телеграмм, чтобы ничего не пропустить.
Ну или на канал в VK, если хотите видеть новые статьи у себя в ленте.
Рациональные числа и открытие несоизмеримости (VI–III вв. до н.э.)
В пифагорейской традиции (VI–V вв. до н.э.) широко разделялась установка, что величины выражаются через отношения целых чисел. В современной терминологии это означает ориентацию на рациональные числа — числа вида (p/q), где (p) и (q) целые, (q не равен 0).
Такая позиция хорошо согласовывалась с задачами измерения и пропорций: если есть выбранная единица длины, то многие отрезки действительно выражаются как “несколько единиц” или “доля единицы”, то есть дробью.
Однако уже в античной геометрии возникает пример, который не удаётся представить рациональным отношением. У квадрата со стороной 1 диагональ равна √2 (это следует из теоремы Пифагора: (1^2 + 1^2 = 2)). Было доказано, что √2 нельзя выразить как дробь (p/q): никакие целые (p) и (q) не дают точного равенства (√2 = p/q). В современных терминах (√2) — иррациональное число (то есть не представимое в виде дроби целых чисел).
Исторически открытие несоизмеримых величин относят к V веку до н.э. (точная атрибуция в источниках обсуждается). К эллинистическому периоду этот факт становится частью математического канона: около 300 г. до н.э. в «Началах» Евклида теория несоизмеримых величин изложена системно.
Пятый постулат и рождение неевклидовой геометрии (III в. до н.э. — XIX в.)
Около 300 г. до н.э. Евклид оформляет геометрию как аксиоматическую систему: есть базовые утверждения (аксиомы/постулаты), из которых выводятся теоремы.
Одним из наиболее обсуждаемых оказался пятый постулат о параллельных. В распространённой формулировке: через точку вне данной прямой на плоскости можно провести ровно одну прямую, которая не пересечёт данную (то есть будет параллельной).
На протяжении многих веков геометрия Евклида воспринималась не просто как математическая теория, а как описание пространства “как оно есть”. Это было связано и с её практической эффективностью: инженерные расчёты, картография, классическая оптика и механика использовали именно евклидовый язык.
При этом пятый постулат долго казался менее “очевидным”, чем остальные, и многие математики пытались вывести его как следствие других аксиом (то есть доказать, что он не самостоятельный).
В XIX веке ситуация изменилась: Н. И. Лобачевский и Я. Больяи показали, что можно построить геометрию, где вместо евклидовой формулировки параллельных принимается другая — и при этом получается логически последовательная система.
Важно пояснить, что здесь означает “другая геометрия”. Речь не о том, что “на плоскости иначе”, а о том, что в математике можно рассматривать пространства с иными правилами. В гиперболической геометрии через точку вне прямой проходит более одной прямой, не пересекающей данную (в строгой терминологии — более одного “параллельного” направления).
Ключевые вехи:
- 1829–1830: публикации Лобачевского по гиперболической геометрии.
- 1832: публикация Больяи.
- 1868: Э. Белтрами строит модели гиперболической геометрии; это стало важным аргументом в пользу её строгой состоятельности (в современной подаче это связано с идеей относительной непротиворечивости).
После этого геометрия окончательно перестала восприниматься как единственная “обязательная” система: стало ясно, что евклидова геометрия — одна из возможных, а вопрос о том, какая геометрия описывает физическое пространство, уже относится к физике и измерениям.
Геоцентризм и становление гелиоцентрической модели (II–XVII вв.)
В античной и средневековой астрономии доминировала геоцентрическая картина: Земля считается неподвижной, а Солнце, Луна, планеты и “сфера звёзд” движутся вокруг неё.
Наиболее влиятельное математическое изложение такой модели связано с Клавдием Птолемеем и его трудом Almagest (обычно датируют около 150 г. н.э.). Существенная часть силы этой системы была не в философии, а в вычислительной применимости: модель позволяла достаточно точно предсказывать положения светил на небе для практических задач своего времени.
Важная деталь: чтобы согласовать наблюдения с идеей “движения вокруг Земли”, в птолемеевской системе использовались сложные комбинации круговых движений (в популярной передаче их часто связывают с эпициклами — движением по маленькой окружности, центр которой сам движется по другой окружности). Это была попытка сохранить ключевую установку (Земля в центре) и одновременно “подогнать” вычисления под наблюдения.
В XVI веке появляется альтернативная схема:
- 1543: Николай Коперник публикует De revolutionibus orbium coelestium, где предлагает гелиоцентрическую модель: планеты, включая Землю, обращаются вокруг Солнца.
На раннем этапе гелиоцентризм не стал немедленным “консенсусом”: он конкурировал с геоцентризмом как вычислительная модель, а также сталкивался с вопросами физической интерпретации (например, почему не наблюдается “параллакс” звёзд в доступной тогда точности и что удерживает Землю в движении).
Сильный наблюдательный аргумент против строгого птолемеевского геоцентризма часто связывают с телескопическими открытиями начала XVII века:
- 1610: Галилей публикует результаты телескопических наблюдений, включая наблюдение полного набора фаз Венеры. Наличие фаз Венеры (включая “почти полную” Венеру) естественно объясняется тем, что Венера обращается вокруг Солнца. Это несовместимо с простым птолемеевским вариантом, где Венера всегда находится между Землёй и Солнцем и потому не должна показывать весь спектр фаз.
Дальнейшее укрепление новой картины связано с уточнением динамики планет:
- Иоганн Кеплер в XVII веке описывает планетные орбиты как эллипсы (вместо идеальных окружностей).
- Ньютоновская механика и теория тяготения (1687) дают физический механизм, объясняющий движение планет.
В результате к XVII–XVIII векам гелиоцентрическая картина становится базовой для научной астрономии, хотя конкретные этапы “принятия” шли постепенно и зависели от страны, научной школы и контекста.
Мини‑пояснения терминов
- Геоцентризм: Земля в центре; небесные тела движутся вокруг.
- Гелиоцентризм: Солнце в центре планетной системы; Земля — одна из планет.
- Фазы Венеры: изменение видимой освещённой части Венеры, аналогично фазам Луны.
Светоносный эфир и переход к специальной теории относительности (XIX — начало XX вв.)
В XIX веке волновая оптика получила прочную экспериментальную базу: интерференция и дифракция убедительно показывали, что свет проявляет волновые свойства. Логический следующий шаг по аналогии со звуком и волнами на воде выглядел естественно: если есть волна, должна быть и среда, в которой она распространяется.
Так сформировалась гипотеза светоносного эфира: предполагалось, что пространство заполнено особой средой, в которой “колеблется” электромагнитная волна. В рамках этой идеи ожидалось, что движение Земли через эфир должно приводить к измеримому эффекту “эфирного ветра”: скорость света в разных направлениях относительно движения Земли должна немного отличаться.
В 1887 году эксперимент Майкельсона–Морли был направлен на обнаружение такого эффекта. В простейшей эфирной картине ожидалась измеримая разность, однако эксперимент дал результат, который не подтвердил прогноз в предполагаемой форме (часто это описывают как “нулевой результат” относительно ожиданий).
Дальнейшая история включала промежуточные теоретические конструкции, но ключевой поворот связан с 1905 годом, когда А. Эйнштейн публикует специальную теорию относительности (СТО). СТО меняет правила согласования измерений пространства и времени между инерциальными системами отсчёта и принимает постоянство скорости света в вакууме как один из исходных принципов. В этой рамке гипотеза эфира как физической среды перестаёт быть необходимой для объяснения наблюдаемых закономерностей.
Абсолютное время и формирование теории относительности (XVII — начало XX вв.)
В 1687 году Исаак Ньютон публикует Principia. Классическая механика Ньютона оказалась исключительно успешной для огромного числа задач. В её основе лежит интуитивно понятная картина: пространство и время существуют “сами по себе”, а время течёт одинаково для всех наблюдателей.
В конце XIX — начале XX века накопились вопросы на стыке электродинамики и механики, которые требовали уточнения представлений о пространстве и времени. В 1905 году СТО формулирует иной принцип согласования измерений: разные инерциальные наблюдатели (движущиеся равномерно относительно друг друга) будут по-разному сопоставлять координаты и времена событий, если эти сопоставления делаются физически корректно (через процедуры измерения и синхронизации).
Нужный минимум терминов:
- система отсчёта — набор правил, по которым наблюдатель измеряет координаты и время событий (в практике: “линейки и часы” плюс способ синхронизации часов).
- инерциальная система — система, движущаяся равномерно и прямолинейно относительно другой (без ускорения).
Следующий шаг — общая теория относительности (ОТО):
- 1915: Эйнштейн завершает формулировку ОТО.
- 1916: публикуется развёрнутое изложение.
ОТО описывает гравитацию не как “силу на расстоянии” в ньютоновском смысле, а как проявление геометрии пространства‑времени. В частности, из неё следует, что гравитационное поле влияет на ход времени.
В популярной истории науки часто выделяют 1919 год как одну из ранних публичных вех признания ОТО: после солнечного затмения 29 мая 1919 года были проведены измерения, интерпретированные как подтверждение предсказанного ОТО отклонения света звёзд вблизи Солнца; результаты были объявлены в ноябре 1919.
Статическая Вселенная и принятие расширения (1917–1930-е)
Когда ОТО (общая теория относительности) стала доступна как инструмент, возник вопрос о космологии: можно ли описать Вселенную как целое математически согласованным образом.
В 1917 году Эйнштейн предложил космологическую модель, стремясь получить статическую Вселенную (без общего расширения или сжатия). Для этого он ввёл космологическую постоянную (\Lambda).
Однако уравнения ОТО допускают и нестационарные решения. В 1920-е годы в литературе появляются модели, в которых масштаб Вселенной меняется со временем (исторически важные работы: А. А. Фридман — 1922; Ж. Леметр — 1927).
Ключевым стал переход от “возможности” к наблюдательной опоре. В 1929 году Эдвин Хаббл публикует работу, где показывает зависимость между расстоянием до внегалактических объектов и их скоростями удаления (скорости оценивались по спектральным сдвигам). Эта зависимость стала центральным аргументом в пользу того, что наблюдаемая Вселенная в среднем расширяется.
Термин, без которого здесь не обойтись:
- красное смещение — сдвиг спектральных линий в сторону больших длин волн; в космологии это интерпретируется как связанное с удалением и/или расширением пространства (в рамках принятой модели).
В 1930-е годы расширяющаяся космологическая картина стала доминирующей.
Пределы вычислимости: от алгоритма к неразрешимости (1936)
В начале XX века в математике и логике активно обсуждался вопрос: можно ли формализовать рассуждение настолько, чтобы для любого корректно заданного утверждения существовал метод, который либо доказывает его истинность, либо опровергает.
В такой постановке возникала тема Entscheidungsproblem (“проблема разрешения”): существует ли общий алгоритм, который по записи математического утверждения (в определённом формальном языке) всегда отвечает “доказуемо” или “недоказуемо”.
Здесь важно пояснить, что подразумевается под алгоритмом:
- алгоритм — точная конечная процедура (набор правил), которая гарантированно приводит к результату за конечное число шагов.
- в XX веке потребовалось строго определить, что считать “вычислением вообще”, без привязки к конкретным машинам.
Ключевой поворот связан с 1936 годом:
- Алан Тьюринг публикует работу On Computable Numbers, with an Application to the Entscheidungsproblem, вводя абстрактную модель вычисления — машину Тьюринга.
- Алонзо Чёрч в 1936 году независимо получает близкие выводы через лямбда‑исчисление.
Смысл машины Тьюринга можно объяснить без технических деталей: это строго заданная модель “идеального исполнителя алгоритма”, который пошагово читает/пишет символы и меняет состояние по фиксированным правилам. Она нужна, чтобы фраза “существует алгоритм” превратилась в математически проверяемое утверждение.
Один из центральных результатов этой линии — неразрешимость некоторых задач, то есть доказательство, что не существует алгоритма, который бы решал их во всех случаях. Самый известный пример — проблема остановки:
- существует ли общий метод, который по описанию программы и её входу всегда определяет, завершится ли программа или будет работать бесконечно.
Тьюринг показал, что такого универсального метода не существует.
Это не означает, что “компьютеры бессильны” или “ничего нельзя вычислить”. Это означает, что у понятия вычисления есть фундаментальные границы: некоторые вопросы в принципе не покрываются единым алгоритмом для всех возможных входов.
Мини‑пояснения терминов
- Вычислимость: что можно получить алгоритмом в строгом смысле.
- Неразрешимость: доказательство отсутствия алгоритма, который решает задачу во всех случаях.
- Проблема остановки: невозможность универсально определить, остановится ли произвольная программа на произвольном входе.
Пределы доказуемости: теоремы о неполноте (1931)
В конце XIX — начале XX века в математике усилилась программа формализации: идея, что математику можно представить как систему символов, правил вывода и аксиом, где “доказательство” — это строго определённая последовательность шагов по правилам.
Тут нужны два определения:
- формальная система — набор аксиом (исходных утверждений) + правила, по которым из них выводятся новые утверждения;
- доказуемость — возможность получить утверждение из аксиом по правилам вывода.
В 1931 году Курт Гёдель публикует работу Über formal unentscheidbare Sätze…, где доказывает две теоремы, позже названные теоремами о неполноте.
Их содержание в “человеческой” формулировке (без потери смысла) такое:
1) Первая теорема о неполноте.
Для любой формальной системы, которая:
- достаточно выразительна, чтобы описывать обычную арифметику натуральных чисел,
- и при этом непротиворечива (в ней нельзя доказать одновременно утверждение и его отрицание), найдутся утверждения, которые в некотором стандартном смысле являются истинными, но невыводимыми (недоказуемыми) внутри этой системы.
2) Вторая теорема о неполноте.
Такая система не может доказать собственную непротиворечивость “изнутри” (при тех же естественных условиях).
Важно, что это утверждения именно про пределы внутрисистемного доказательства, а не про “истину вообще”. Гёдель показал, что для достаточно богатых систем арифметики нельзя одновременно иметь три свойства: полноту (всё истинное доказуемо), непротиворечивость и выразительную мощность на уровне стандартной арифметики.
Мини‑пояснения терминов
- Неполнота: в системе есть утверждения, которые нельзя ни доказать, ни опровергнуть средствами самой системы (при заданных условиях).
- Непротиворечивость: невозможность вывести одновременно утверждение и его отрицание.
Сон как объект измерения: от “пассивности” к фазовой структуре (1953–1968)
До середины XX века сон часто описывался как преимущественно пассивное состояние: снижение активности и реакции на внешние стимулы, “отключение” бодрствующего сознания. Такая интерпретация соответствовала внешним наблюдениям и не имела чётких физиологических критериев, позволяющих разбить сон на внутренние состояния.
Ситуация изменилась с развитием методов регистрации физиологии сна, прежде всего электроэнцефалографии (ЭЭГ), и с обнаружением регулярной структуры сна.
Ключевая веха:
- 1953: Ю. Асерински и Н. Клейтман описывают фазу REM (rapid eye movement, “быстрые движения глаз”). Важность этой работы была в том, что сон оказался неоднородным: существуют состояния, заметно различающиеся по физиологическим признакам, и часть сна сопровождается специфическими паттернами активности.
Затем сформировалась практика классификации стадий сна и их стандартизации:
- 1968: Rechtschaffen & Kales публикуют стандарт стадирования сна (исторически значимая точка для унификации исследований и клинической практики того времени).
Минимальные пояснения:
- ЭЭГ — запись электрической активности мозга с поверхности головы.
- стадии сна — повторяющиеся состояния сна, различимые по ЭЭГ и другим физиологическим показателям.
Заключение: что объединяет эти смены парадигм
Эти истории выглядят разными: от диагонали квадрата и параллельных прямых до устройства Солнечной системы, расширения Вселенной и пределов формальных доказательств. Однако у них есть общий, достаточно устойчивый сценарий.
1) Парадигма закрепляется практикой.
Геоцентризм был удобен как вычислительная схема для астрономии своего времени; евклидова геометрия безупречно работала в инженерных задачах; ньютоновская механика давала точные предсказания в обычных условиях; представление о сне как “пассивном отдыхе” соответствовало внешним наблюдениям до появления инструментов регистрации фаз сна. В каждом случае исходная картина укреплялась тем, что решала широкий класс задач.
2) Пересмотр начинается не с “ошибки”, а с несостыковки.
Несоизмеримость √2, альтернативы пятому постулату, телескопические аргументы против строгого геоцентризма, нулевой результат опыта Майкельсона–Морли, космологические решения ОТО и наблюдательные данные Хаббла, результаты Тьюринга и Гёделя — это не “мнения”, а события, после которых прежний язык описания переставал быть достаточным без дополнительных допущений.
3) Новая парадигма обычно сохраняет старую как частный случай.
Рациональные числа остаются внутри расширенного числового мира; евклидова геометрия остаётся корректной моделью для плоских приближений; ньютоновская механика остаётся точной в своих масштабах скоростей и гравитации; классическое понимание “алгоритма” остаётся рабочим для огромного числа задач, хотя и не покрывает все возможные. В этом смысле смена парадигмы чаще означает не отмену результата, а уточнение условий, при которых он применим.
4) Принятие занимает время и требует языка, в котором новые факты становятся “нормальными”.
Почти везде между первой формулировкой и устойчивым признанием проходят годы или десятилетия: нужны воспроизводимые наблюдения, стандарты измерений, учебники, практические применения. Поэтому “переключения” в реальной науке редко бывают мгновенными.
Из этого следует важный вывод, который можно сформулировать без патетики: наука ценит не “неизменность”, а устойчивость к проверкам. Парадигмы меняются не по желанию и не из-за моды; они меняются тогда, когда факты, измерения или строгие доказательства вынуждают перестроить картину так, чтобы она продолжала объяснять мир точнее, чем раньше.
Если смотреть на эти сюжеты как на единую линию, то смена парадигмы оказывается не исключением, а нормальным механизмом научного развития: способом удерживать теорию в контакте с тем, что удаётся надёжно установить.
Если Вам интересно, что еще можно найти на канале QA Helper, прочитайте статью: Вместо оглавления. Что вы найдете на канале QA Helper - справочник тестировщика?
Пишите в комментариях какие научные парадигмы существующие в настоящий момент устареют следующими?
