Апология математики (сборник статей) - Владимир Андреевич Успенский

Возникает три вопроса: 1) избран ли кто-нибудь в этом туре, 2) если избран, то кто и 3) надо ли проводить третий тур?

Эксперимент показал, что математики отвечают на этот вопрос, как правило, верно, тогда как гуманитарии, как правило, неверно. Верный ответ состоит в том, что X не избран, избран Y и третий тур проводить не надо. Это обосновывается следующим рассуждением. Имеются два условия избрания. Первое условие – получить необходимое количество голосов: не менее ⅔ голосов участвующих в голосовании и не менее половины от списочного состава. Второе условие – количество N всех кандидатов, получивших в этом туре такое же или большее число голосов, не превышает числа Р вакансий.

В нашем примере первое условие выполнено для обоих кандидатов. Посмотрим, что происходит со вторым условием. В нашем примере число вакансий Р = 1. Для X второе условие не выполнено, поскольку для этого кандидата N = 2, а значит, N превышает Р. Для Y второе условие выполнено, поскольку для этого кандидата N = 1 и, стало быть, N не превышает Р.

В реальности же был проведён третий тур, в котором избранным оказался X. Напомним, что электорат состоял из гуманитариев. (Возвращаясь к реальным событиям, отметим, что через год справедливость была восстановлена и кандидат Y также стал членом Академии.)

Мораль этой истории такова: текст положения о выборах, логически и лингвистически безупречный, всё же обладает тем недостатком, что реальный гуманитарный электорат понимает его (по крайней мере отдельные его фрагменты) с трудом, или вовсе не понимает, или понимает неправильно. По-видимому, текст стоило бы переписать с учётом этого обстоятельства. Так что упрёк можно предъявить не только гуманитариям, не понявшим инструкцию, но и математикам, её составлявшим. Хотя текст инструкции безупречен с логической точки зрения и смысл его однозначен, он, этот текст, составлен без учёта возможных психологических трудностей его восприятия.

Интерпретация деловой прозы определяется главным образом трактовкой синтаксических конструкций, по-разному воспринимаемых математиками и гуманитариями. Рассмотрим два утверждения: «Каждый из присутствующих знает хотя бы один из следующих двух языков – баскского и ирокезского» и «Среди присутствующих есть некто, кто не знает ни баскского, ни ирокезского». Абсолютное большинство студентов-математиков сразу понимает, что первое из этих утверждений равносильно отрицанию второго, и наоборот. Для немалого же числа студентов-гуманитариев это не столь очевидно.

Следует, однако, подчеркнуть, что реальная фраза на естественном языке состоит не только из логического каркаса. Каркас этот облачён в мягкую (а то и пульсирующую студенистую) плоть, какова плоть весьма существенна для адекватного восприятия фразы. Что и было продемонстрировано приведёнными выше анекдотами о математиках.

VI

В последние годы получило заметное распространение преподавание математики студентам гуманитарных специальностей. И это переводит задачу постижения математиками гуманитарного образа мышления из общефилософской в практическую плоскость. Чтобы успешно преподавать свой предмет, математик должен понимать, как предмет этот воспринимается его учениками-гуманитариями.

Вот простой пример. Отношение называют рефлексивным, коль скоро всякий предмет, для которого данное отношение осмысленно, находится в этом отношении к самому себе. Пример рефлексивного отношения: 'жить в том же городе' – каждый живёт в том же городе, что он сам. (Не исключено, впрочем, что некоторые сочтут предложение «NN живёт в том же городе, что он сам» бессмысленным.) Будет ли рефлексивным отношение 'находиться неподалёку'?

Опрошенные мною математики (притом отнюдь не математические логики) отвечали, что будет: каждый предмет находится неподалёку от самого себя. Гуманитарии же – да и просто обычные люди, нематематики – в большинстве своём расценивают высказывание «Нечто находится неподалёку от самого себя» либо как ложное, либо как бессмысленное. Причина такого расхождения, надо полагать, заключается в следующем. Слово «неподалёку» означает «на малом расстоянии» (но смысл его этим не ограничивается, о чём будет сказано ниже). Математики свободно оперируют расстоянием ноль, на каковом расстоянии любой предмет находится от самого себя. Для нематематика же, в том числе для гуманитария, нулевых расстояний не бывает.

Беседуя как-то с дамой, мастером по маникюру и педикюру, я спросил её, находится ли предмет неподалёку от самого себя. Получив, к немалому своему удивлению, положительный ответ, я справился о расстоянии между предметом и им самим и был удивлен ещё более: ответом был ноль. Тогда я поинтересовался, какое образование получила моя собеседница. Оказалось – высшее техническое по специальности «гидравлика», включая достаточно обширный курс математики. Всё стало на свои места. Даже если этот курс и не познакомил её с расстоянием ноль, преподаваемая в его рамках общая система понятий и терминов не могла не выработать мысли о возможности такого расстояния.

Математики в большинстве своём не замечают, что слово «неподалёку» означает нечто большее, чем малость расстояния. Напомним, что отношение называется симметричным, коль скоро выполняется следующее условие: всякий раз, когда какой-то предмет находится в этом отношении к другому, то и этот второй предмет находится в том же отношении к первому; примеры симметричных отношений: 'жить в том же городе', 'быть родственниками'. По наблюдению автора этих строк, для большинства математиков отношение 'находиться неподалёку' является симметричным. Но анализ естественного языка показывает, что значение словосочетания «находиться неподалёку» отнюдь не симметрично. Соответствующее наблюдение сделал выдающийся американский лингвист Леонард Талми. Вот что пишет Талми по этому поводу[11]:

Можно было бы ожидать, что такие два предложения, как

(a) Велосипед находится неподалёку от дома;

(b) Дом находится неподалёку от велосипеда[12]

будут синонимичны на том основании, что они всего навсего выражают две инверсные формы некоторого симметричного отношения. Отношение это выражает не что иное, как малость расстояния между двумя объектами. На самом же деле эти два предложения вовсе не означают одно и то же. Они были бы синонимичными, если бы выражали только указанное симметричное отношение. Однако в дополнение к этому (а) содержит не симметричное указание, что один из объектов (а именно дом) имеет местоположение [set location] в пределах некоторой рамки [reference frame] (в качестве таковой здесь подразумевается данная окрестность, весь мир и т. п.) и используется в целях сообщения о местоположении другого объекта (а именно велосипеда). Соответственно, местоположение этого другого объекта есть переменная (для рассматриваемого примера это так и есть, поскольку в разных ситуациях велосипед окажется в разных местах), чьё частное значение и составляет предмет интереса.

Что касается предложения (b), то оно содержит противоположное указание. Это указание, однако, не вписывается в привычную картину мира, вследствие чего предложение (b) выглядит странным, что ясно демонстрирует его отличие от (а).

Из разбора Талми в действительности видно, что обычный человек (в том числе гуманитарий) полнее и глубже