Теперь вернемся к вопросу, откуда спутники GPS знают, где они находятся. Технические детали сложны, но основная идея проста: спутники стартуют из известных точек, а затем отслеживают свое движение. Исходя из этой информации, они рассчитывают свое местоположение.
Более подробно: спутники мониторят свое движение с помощью бортовых гироскопов и акселерометров наподобие тех, которые установлены на вашем iPhone. Исходя из данных этих приборов, компьютер спутника с помощью законов механики Ньютона определяет свое ускорение, а математический анализ позволяет рассчитать, куда спутник переместился. Фактически именно для решения подобных задач Ньютон и изобрел математический анализ.
Если вернуться к сказанному выше, ясно, что разработчики спутниковой навигационной системы основывались на большом числе неочевидных предположений – например, о постоянстве скорости света. Точное время определяется по атомным часам, устройство и интерпретация данных которых основаны на последних результатах квантовой теории. По этим данным положение спутника рассчитывается методами классической механики. А еще вводится поправка на слабую зависимость скорости хода часов от их вращения вокруг Земли. Этот эффект предсказывает общая теория относительности: вблизи Земли, где гравитационное поле сильнее, ход часов замедляется.
В основе спутниковой навигационной системы лежит не только геометрия Евклида. Система GPS устроена очень сложно, так что с ее помощью мы проверяем множество других концепций.
Своим успехом GPS обязана целому набору взаимосвязанных предположений. Любое из них может быть неправильным или, выражаясь более дипломатично, приблизительно правильным. Если бы одно из этих предположений было существенно ошибочным, результаты работы GPS оказались бы несовместимыми, например на разных спутниках расчет координат на основе триангуляции давал бы разные результаты. Сложности при использовании технологии часто могут выявить скрытые недостатки.
Верно и обратное: успех GPS укрепляет нашу уверенность в справедливости всех лежащих в ее основе предположений, включая то, что в земных масштабах геометрия Евклида с достаточной точностью описывает реальную геометрию. И до сих пор GPS работает безупречно.
Если брать шире – наука развивается. Хитросплетение взаимозависимых теорий лежит в основе самых невероятных современных экспериментов и технологий. Доказав свою эффективность, новые смелые разработки укрепляют доверие к вспомогательной базе. Фундаментальные концепции представляют собой клубок взаимно усиливающих друг друга идей – и это еще одна сквозная тема книги.