Читать книгу - "Веревка вокруг Земли и другие сюрпризы науки - Карл Саббаг"

Доказывая, что 1 + 1 = 2, основное место в своих рассуждениях Рассел и Уайтхед отводят попыткам дать определение понятию «сущность».

(Да и это доказательство применимо, только если «ввести определение, что такое арифметическое действие сложения», а это уже отдельный разговор.)

Один математик попытался переформулировать то, что пытались доказать Рассел и Уайтхед, воспользовавшись не символами, а словами: «Множества аир, каждое из которых состоит всего из одного элемента, считаются непересекающимися (то есть не имеющими общих элементов), если и только если их объединение дает ровно два элемента».

В таком виде доказательство выглядит несколько более доступным, хотя требует некоторых дополнений. Теория множеств как особый раздел математики возникла в конце XIX столетия. Эта теория базируется на понятии «множества» как совокупности предметов, рассматривает правила объединения предметов в множества и анализирует отношения между множествами. Например, выражение *11·54 (см. выше на рисунке) относится к высказыванию, помещенному в другом месте книги и гласящему: «Можно взять утверждение о том, что существуют две вещи, и разделить его на два утверждения — каждое о существовании одной из вещей». Простые числа и то, как мы ими оперируем в быту, — всего лишь слабая тень величественного здания математики, возведенного математиками-философами наподобие Рассела и Уайтхеда.

Однако чтобы понять, почему в математике важна точность, особых знаний не требуется. Иногда привычный нам способ смотреть на вещи может завести в тупик (даже на уровне школьного курса математики). Вот вам, к примеру, доказательство, что 3 = 4.

Допустим:

а + b = с

Это выражение также можно записать следующим способом:

4а − 3а + 4b − 3b = 4с − Зс

(Потому что 4а − 3а — это просто «а», 4b − 3b — просто «b», и так далее.)

Преобразуем получившееся равенство:

4а + 4b − 4с = 3а + 3b − Зс

(Переносить элементы из одной части равенства в другую разрешается, если при этом вы не забываете сменить знак на противоположный, то есть с минуса на плюс и наоборот. Так, например, 4х − 3 = 0 можно иначе выразить как 4х = 3, переместив -3 в другую часть равенства и сменив знак на плюс. Это то же самое, что добавить одно и то же число, +3, к обеим частям равенства. Если добавить к обеим частям равенства одинаковое число, равенство сохраняется.)

Теперь преобразуем пример следующим образом, то есть вынесем общий множитель за скобки:

4 (а + b − с) = 3 (а + b − с)

Разделим обе части на (а + b − с) и придем к выводу, что 4 = 3.

В основе этого ложного умозаключения лежит ошибка, которую может совершить каждый, кто не очень чуток к законам арифметики. Столкнувшись с подобной головоломкой, многие из нас предпочитают руководствоваться здравым смыслом, а не блестящими образцами доказательств, порожденных научной мыслью. Мы уподобляемся госпоже Ла Туш, даме, жившей в Викторианскую эпоху и известной лишь тем, что однажды она изрекла: «Ненавижу сложение. Нет большего заблуждения, чем называть арифметику точной наукой. Сплошные пермутации и аберрации, различимые лишь для таких благородных умов, как мой; неприметные вариации, которых простой бухгалтер и не увидит; скрытые законы чисел, которые требуют недюжинных умственных способностей, вроде моих. К примеру, если вы сложите слагаемые, расположенные столбиком, снизу вверх, а потом сверху вниз, — результат всегда получится разный»^[23].