Парабола была известна математикам задолго до Галилея. Наблюдение, что падающие тела описывают параболу – один из первых примеров закона природы, то есть регулярного поведения в небольшой части Вселенной. (В данном случае частью Вселенной – ее подсистемой – является сам предмет, падающий вблизи поверхности планеты.) Такое случалось огромное количество раз в разных местах со времен рождения Вселенной. Следовательно, есть множество ситуаций, к которым применим этот закон.

Подросший ребенок может спросить: “А о чем это говорит? Почему математический объект, плод нашего воображения, имеет нечто общее с природным явлением? И почему такое распространенное явление, как падение, должно иметь самое простое и красивое во всей геометрии описание?”"

"Со времен Галилея ученые успешно пользуются математикой для описания физических явлений. Сейчас очевидно, что законы физики выражаются на языке математики, однако две тысячи лет (с тех пор, как Евклид сформулировал свои аксиомы) никто не догадывался применить математический закон к описанию движения на Земле. С античности до XVII века ученые знали о параболе, но ни один из них не пожелал выяснить, по какой траектории летит брошенный мячик, выпущенная стрела или любой другой предмет[15]. Каждый ученый мог сделать открытие, которое сделал Галилей: все, что ему для этого понадобилось, существовало уже в Афинах времен Платона и в Александрии времен Гипатии.

Что заставило Галилея применить математику для описания падения тел? Это вопрос из тех, которые легко задать, но на которые трудно ответить. Что такое вообще математика? Как она стала наукой?

Математические объекты – плоды чистого мышления. Мы не найдем параболу в природе. Парабола, окружность или прямая, – это идеи. Мы облекаем их в определения: “Окружность – геометрическая фигура, состоящая из всех точек плоскости, расположенных на заданном расстоянии от данной точки. Парабола – все точки плоскости, равноудаленные от данной прямой и данной точки”. Раз у нас есть определение, мы можем определить свойства кривой. В школе нас учили, что такой вывод может быть формализован и представлять собой доказательство – выстроенные в цепь умозаключения. В этом формальном процессе не остается места наблюдению или измерению[16].

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