(x2 + у2 + z2 + 2у — 1)·[(x2 + у2 + z2 — 2y — 1)2 — 8z2] + 16xz(x2 + y2 + z2 — 2y — 1) = 0
Однако даже математики порой ошибаются, и Kleinsche Flache стало писаться как Kleinsche Flasche, что как раз и означает «бутылка Клейна». А поскольку слово «бутылка» тоже довольно точно описывает поверхность Клейна, то это ошибочное название стало в научном мире общепринятым.
Открытие бутылки Клейна предоставило ряд возможностей и для бизнеса: в интернете вы найдете шапки, имеющие форму поверхности Клейна, или ковши для зачерпывания вина, которые представляют собой практически ее копию.
Глава 3
Анализ
А что такое эти флюксии? Скорости исчезающих приращений.
А что такое эти самые исчезающие приращения?
Они не есть ни конечные величины, ни величины бесконечно малые, но они и не нули.
Разве мы не имеем права назвать их призраками исчезнувших величин?
Епископ Джордж Беркли (1685–1753)
Процитированные выше строки взяты из памфлета «Аналитик» (The Analyst, 1734) — прекрасного интеллектуального упражнения англиканского епископа, посвященного «одному неверующему математику» — по-видимому, Беркли имел в виду Эдмунда Галлея (1656–1742), который славился своей недоверчивостью.
В памфлете Беркли выступает против недавно появившегося ньютоновского исчисления, столь обожаемого Галлеем и всем научным миром, возражая им (и небезосновательно), что если они не верят в Бога, поскольку священные тексты им непонятны, то не следует верить и в почти мистические хитросплетения математического анализа.
Прошли годы и даже столетия, доверие к математическому анализу было восстановлено благодаря более строгим и четким, но менее интуитивным определениям. Тем не менее не стоит забывать слова Беркли, превосходного философа-эмпирика (его именем назван знаменитый американский университет). Напротив, следует отдать ему дань уважения за грамотную и обоснованную критику.
Методы, описанные Ньютоном и Лейбницем, открыли множество путей в науке и вместе с тем породили множество анекдотичных ситуаций. Приведем некоторые из них.
Портрет епископа Джорджа Беркли кисти Джона Смайберта.
Очевидно, что гипотеза и теорема — не одно и то же. Гипотеза обретает статус теоремы только после доказательства, однако довольно долго это не учитывалось.
Рассмотрим, например, труды Иоганна Кеплера (1571–1630). Все мы не раз почтительно отзывались о его законах, которые представляют собой эмпирические выводы, основанные на таблицах Тихо Браге (1546–1601). Эти законы можно назвать гениальными, они широко известны в научном мире и точно описывают движение небесных тел, хотя для них не приводится какого-либо математического доказательства. Сегодня, с вершин нашего знания, можно сказать, что это были три блестящие гипотезы, но не три теоремы.
Лишь Исаак Ньютон (1643–1727) через 50 с лишним лет расставил все по своим местам. Именно он, применив элементарные законы дифференциального и интегрального исчисления к механике, вывел три закона Кеплера исходя из фундаментальной гипотезы — закона обратных квадратов, согласно которому два тела притягиваются друг к другу с силой, прямо пропорциональной произведению их масс и обратно пропорциональной квадрату расстояния между ними. Раз уж мы заговорили о Ньютоне, который отличался особой мрачностью и неразговорчивостью, то расскажем о нем одну историю (разумеется, апокрифическую), в которой ученый предстает более человечным. У Ньютона была собака по кличке Даймонд (это действительно подтверждается разными источниками), которой он в шутку приписывал способности к математике. Как-то раз в разговоре с Валлисом Ньютон в шутку заметил: «Сегодня до завтрака Даймонд доказал две теоремы». Валлис подыграл ему: «Ваша собака, должно быть, гениальна». Ньютон ответил: «Ну что вы. Одно доказательство содержало ошибку, другое — патологический пример»[1].
1
В математике патологическим примером называется столь явное отклонение от общего правила, справедливого в остальных случаях, что оно имеет научную (и эстетическую) ценность само по себе.