Теперь перенесемся во времени и рассмотрим работу Галилео Галилея (1564-1642) «Беседы и математические доказательства относительно двух новых наук» (1638). Как видно из названия, она написана в форме дискуссий. В них участвуют три персонажа: Сальвиати, выражающий точку зрения Галилея, Сагредо, образованный человек той эпохи, и Симплицио, представитель традиционной науки, основывающейся в том числе на трудах Аристотеля.
СОВЕРШЕННЫЕ ЧИСЛА
Гипотеза — это утверждение, ложность или истинность которого еще не доказана. Многие из них касаются бесконечности, например гипотеза о совершенных числах. Совершенное число равно сумме собственных делителей (включая 1, но не считая само число). Например, 6 — совершенное число, поскольку его делителями являются 1,2,3, а 6 = 1 + 2 + 3. Еще один пример — число 28 = 1 + 2 + 4 + 7 +14. Согласно пока не подтвержденной гипотезе, количество совершенных чисел бесконечно.
Две новые науки, упомянутые в заголовке этого труда, — статика и динамика, а вся книга в целом представляет собой критику аристотелевских законов физики. Хотя Галилей и разрушает большую часть постулатов древнегреческого ученого, он разделяет его настороженность в отношении актуальной бесконечности. Рассмотрим аргументы, предвосхищающие рассуждения Кантора.
Для начала вообразим себе огромный бальный зал, в котором находится большое, но конечное количество мужчин и женщин (см. рисунок 3). Предположим, что мы хотим узнать, кого из присутствующих больше: женщин, мужчин или же тех и других поровну. Один из способов ответить на этот вопрос состоит в том, чтобы пересчитать всех собравшихся женщин, потом мужчин и сравнить полученные данные. Поскольку это количество конечное, подсчет производится без проблем. Но есть и более изобретательный метод: когда заиграет музыка, можно попросить всех разделиться на пары (см. рисунок 4). В каждой паре должен быть один мужчина и одна женщина.
Если партнеров хватает всем и ни один мужчина и ни одна женщина не остаются без пары, то в зале одинаковое количество мужчин и женщин. Если же у всех женщин есть пара, но несколько мужчин остались одни, значит мужчин больше. Наконец, если пара есть у всех мужчин, но не у всех женщин, то в зале больше женщин.
Таким образом, если у нас имеются две законченные группы и каждый член одной из них соотносится с членом из противоположной группы так, что не остается «лишних», мы можем быть уверены, что в этих группах одинаковое количество членов. Можно ли перенести этот принцип на бесконечные группы?
От лица персонажа Сальвиати Галилей рассмотрел две конкретные группы: состоящую из натуральных чисел 0,1,2,3, 4,5,... и из квадратов чисел, получаемых при умножении числа на само себя, 0,1,4,9,16, 25,... Очевидно, считает Галилей, что если мы объединим группы квадратов чисел и не квадратов, то этих последних будет больше.