Был ли Бог математиком?

Вывеска на деревенской цирюльне гласит[117]: «Брею тех и только тех жителей деревни, кто не бреется сам». Казалось бы, резонно. Очевидно, что те, кто бреется сам, не нуждаются в услугах цирюльника, поэтому вполне естественно, что цирюльник бреет всех остальных. Но задайтесь другим вопросом – кто бреет цирюльника? Если он бреет сам себя, то, согласно вывеске, должен быть среди тех, кого не бреет. С другой стороны, если он сам себя не бреет, то должен, опять же согласно вывеске, быть среди тех, кого бреет! Так бреет или нет? История знает примеры, когда серьезные семейные склоки случались и по куда менее значительным вопросам. Об этом парадоксе первым написал Бертран Рассел (1872–1970), один из величайших логиков и философов ХХ века, – лишь для того чтобы показать, насколько часто логическая интуиция подводит человека. Парадоксы, они же антиномии, отражают ситуации, в которых вполне приемлемые на первый взгляд суждения приводят к неприемлемым следствиям. В вышеприведенном примере деревенский цирюльник и бреет, и не бреет себя самого. Можно ли разрешить этот парадокс? Одно из простейших решений парадокса – строго в том виде, в каком он приведен выше, – очень просто: цирюльник – женщина! С другой стороны, если бы нам сразу сказали, что цирюльник обязательно мужчина, то абсурдный вывод был бы результатом того, что мы приняли первоначальные суждения. Иначе говоря, такой цирюльник существовать не может. Но какое все это имеет отношение к математике? Оказывается, математика с логикой состоят в ближайшем родстве. Вот как описал эти узы сам Рассел[118].

Исторически математика и логика были совершенно различными дисциплинами. Математика была связана с наукой, а логика с греками. Но обе стали развитыми дисциплинами только в последнее время: логика стала более математической, а математика стала более логической. Как следствие этого, сейчас [в 1919 году] невозможно провести между двумя дисциплинами разделительную линию. На самом деле обе представляют собой нечто единое. Они отличаются так же, как мальчик и мужчина: логика есть юность математики, а математика есть зрелость логики. (Здесь и далее цитаты из «Введения в философию математики» Б. Рассела даны в пер. В. Целищева.)

Здесь Рассел утверждает, что, в сущности, математику можно свести к логике. Иначе говоря, основные понятия математики, даже такие объекты, как, например, числа, можно на самом деле определить в терминах фундаментальных законов рассуждения. Более того, впоследствии Рассел утверждал, что можно сочетать такие определения с логическими принципами – и породить математические теоремы. Первоначально такое представление о природе математики (так называемый логицизм) пользовалось благосклонностью как тех, кто считал математику не более чем сложной игрой, целиком и полностью изобретенной людьми (то есть формалистов), так и обеспокоенных платоников. Первые поначалу обрадовались, когда увидели, как собрание не связанных друг с другом на первый взгляд «игр» объединяется в одну «праматерь всех игр». Последние увидели луч надежды в идее, что вся математика, вероятно, коренится в одном источнике, в котором можно не сомневаться. В глазах платоников это повышало шансы на существование единого метафизического источника. Нечего и говорить, что единый корень математики мог, по крайней мере, в принципе, подсказать, в чем причина ее могущества.