«1 + 1 = 2» — почему на это ушло 360 страниц?
В интернете часто можно встретить фразу: Бертран Рассел и Альфред Уайтхед потратили 360 страниц, чтобы доказать, что 1 + 1 = 2. На первый взгляд звучит как анекдот — неужели два гения тратили годы жизни, чтобы формально обосновать то, что каждый ребёнок знает с детства?
Ответ сложнее, чем кажется. И частично — да, и нет.
В "Principia Mathematica" (1910–1913) Рассел и Уайтхед действительно приходят к выводу «1 + 1 = 2» лишь ближе к концу первого тома, примерно на 362-й странице. Но они вовсе не стремились доказать именно это. Их цель была куда более амбициозной: построить всю математику как логическую систему — без неясностей, парадоксов и «очевидностей по умолчанию».
Чтобы добраться до выражения «1 + 1 = 2», им пришлось начать с нуля: определить, что такое высказывание, что такое логическая связка, как устроено множество, как возникает число как кардинальность, как строится операция сложения и как определяется равенство. Всё, что обычно воспринимается как «по умолчанию», они выстроили шаг за шагом — строго, формально, в логике высших порядков.
Когда на странице 362 они наконец подводят:
«Из этого следует, что после определения арифметического сложения 1 + 1 = 2», — они добавляют ироничную сноску:
«Это утверждение иногда бывает полезным».
Юмор в том, что на формальное доказательство базового школьного факта действительно уходит множество предварительных слоёв — настолько, что сам результат кажется несерьёзным по сравнению с тем, что было проделано.
Позже, в 1931 году, Курт Гёдель покажет, что даже такая титаническая система не может быть ни полной, ни абсолютно непротиворечивой. Но попытка Рассела и Уайтхеда не была напрасной. Она стала важнейшей вехой в истории логики, повлияла на создание языков программирования, формальных доказательств и представлений о математической строгости.
