Парадокс бесконечно малых величин

Математический кризис в этой области существовал в период XVII — XVIII веков.

Бесконечно малые — это переменные величины, стремящиеся к нулю, или, если быть точнее, к пределу, равному нулю. Проблема состояла в их туманном понимании: то они рассматриваются как числа равные нулю, то как ему неравные. Причем, при таком подходе, люди рассматривали их как постоянные величины. Тогда из этого названия таких величин следует, что бесконечное является чем-то завершенным.

Кризис перестал быть таковым после создания теории пределов в начале XIX века французским математиком Огюстеном Луи Коши (1789 — 1857). С того момента бесконечно малые величины рассматриваются как постоянно изменяющиеся, а не постоянные, стремящиеся к пределу, но никогда его не достигающие. Постоянно изменяющиеся числа!

Ситуация, когда доказать более сильное утверждение легче, чем более слабое, и называется парадоксом изобретателя. Он был известен еще и древним мыслителям, но придумал это название в начале XX века венгерский математик Д. Пойа, сказав о парадоксе следующие слова: «Легче доказать более сильную теорему, чем более слабую». Этот парадокс существует не только в математике, но и в других областях, в том числе и в жизненных ситуациях. Такое же название (и по праву) получили ситуации, когда решить более общую задачу легче, чем более узкую. Прием, позволяющий это сделать, заключается в том, чтобы свести задачу к более общей, относительно которой исходная задача будет являться лишь частным случаем. Приведу один пример:

В III веке до н. э. тиран города Сиракузы Гиерон поручил своему подданному и близкому родственнику Архимеду определить, не подмешано ли к его золотой короне, изготовленной ювелирами, менее благородное серебро. Эту частную задачу Архимед смог решить лишь как общую (т.к. о химическом анализе тогда еще и не помышляли; к тому же корону разрушать было нельзя), выявив закон «подъемной силы», то есть силы Архимеда, действующей на погруженное в жидкость тело.

Таким же образом появились на свет в математике интегральное (выросшее из изобретенного древнегреческим математиком Евдоксом Книдским (около 408 — около 355 до н. э.) метода «исчерпывания») и дифференциальное (когда Лейбниц Готфрид Вильгельм (1646 — 1716) долго бился на задачей проведения касательной к кривой в заданной точке, сведя ее к проведению секущей через две бесконечно близкие точки) исчисления, в науке изобретена пастеризация и многое-многое другое.