Парадокс Галилея
Парадокс Галилея — пример, иллюстрирующий свойства бесконечных множеств. В двух словах: натуральных чисел столько же, сколько квадратов натуральных чисел, то есть в множестве 1, 2, 3, 4… столько же элементов, сколько в множестве 1, 4, 9, 16…
В своей последней работе «Две Науки»,
Галилей сделал вывод, что судить об одинаковом количестве элементов можно только для конечных множеств. В XIX веке Георг Кантор, используя свою теорию множеств, показал, что можно ввести «количество элементов» для бесконечных множеств — так называемая мощность множества. При этом мощности множества натуральных чисел и множества точных квадратов совпали (оказалось верным второе рассуждение Галилея). Парадокс Галилея вступил в противоречие с аксиомой Евклида, утверждающей, что целое больше любой из своих собственных частей (под собственной частью понимается часть, не совпадающая со всем целым)[1]. Замечательно, до какой степени Галилей предвосхитил последующие работы в области бесконечных чисел. Он показал, что число точек на коротком отрезке прямой равно числу точек на большем отрезке, но, конечно, не знал канторовское доказательство того, что его мощность больше, чем мощность множества целых чисел. У Галилея были более срочные задачи. Он занимался противоречиями в парадоксах Зенона, чтобы расчистить дорогу своей математической теории движения[2].