Апология математики (сборник статей) - Успенский Владимир (читать бесплатно книги без сокращений .TXT) 📗
Беседуя как-то с дамой, мастером по маникюру и педикюру, я спросил её, находится ли предмет неподалёку от самого себя. Получив, к немалому своему удивлению, положительный ответ, я справился о расстоянии между предметом и им самим и был удивлен ещё более: ответом был ноль. Тогда я поинтересовался, какое образование получила моя собеседница. Оказалось – высшее техническое по специальности «гидравлика», включая достаточно обширный курс математики. Всё стало на свои места. Даже если этот курс и не познакомил её с расстоянием ноль, преподаваемая в его рамках общая система понятий и терминов не могла не выработать мысли о возможности такого расстояния.
Математики в большинстве своём не замечают, что слово «неподалёку» означает нечто большее, чем малость расстояния. Напомним, что отношение называется симметричным, коль скоро выполняется следующее условие: всякий раз, когда какой-то предмет находится в этом отношении к другому, то и этот второй предмет находится в том же отношении к первому; примеры симметричных отношений: 'жить в том же городе', 'быть родственниками'. По наблюдению автора этих строк, для большинства математиков отношение 'находиться неподалёку' является симметричным. Но анализ естественного языка показывает, что значение словосочетания «находиться неподалёку» отнюдь не симметрично. Соответствующее наблюдение сделал выдающийся американский лингвист Леонард Талми. Вот что пишет Талми по этому поводу [11]:
Можно было бы ожидать, что такие два предложения, как
(a) Велосипед находится неподалёку от дома;
(b) Дом находится неподалёку от велосипеда [12]
будут синонимичны на том основании, что они всего навсего выражают две инверсные формы некоторого симметричного отношения. Отношение это выражает не что иное, как малость расстояния между двумя объектами. На самом же деле эти два предложения вовсе не означают одно и то же. Они были бы синонимичными, если бы выражали только указанное симметричное отношение. Однако в дополнение к этому (а) содержит не симметричное указание, что один из объектов (а именно дом) имеет местоположение [set location] в пределах некоторой рамки [reference frame] (в качестве таковой здесь подразумевается данная окрестность, весь мир и т. п.) и используется в целях сообщения о местоположении другого объекта (а именно велосипеда). Соответственно, местоположение этого другого объекта есть переменная (для рассматриваемого примера это так и есть, поскольку в разных ситуациях велосипед окажется в разных местах), чьё частное значение и составляет предмет интереса.
Что касается предложения (b), то оно содержит противоположное указание. Это указание, однако, не вписывается в привычную картину мира, вследствие чего предложение (b) выглядит странным, что ясно демонстрирует его отличие от (а).
Из разбора Талми в действительности видно, что обычный человек (в том числе гуманитарий) полнее и глубже понимает смысл русского слова «неподалёку» (а именно слышит во всей полноте заключённый в нём «семантический звук», а потому и отвергает фразу, где он прозвучать не может), чем типичный математик. Типичный математик слышит в этом слове только те элементы, которые ему профессионально близки (да ещё зачастую учит гуманитария быть таким же полуглухим).
Различие в понимании слов составляет существенную часть барьера, упомянутого в заголовке настоящего очерка. И следует признать, что подавляющая часть людей находится по ту же сторону барьера, что и гуманитарии. Честнее было бы сказать, что гуманитарии просто пользуются общепринятыми значениями слов. (Подозреваю, правда, что, когда в гуманитарном собрании звучат слова «дискурс», «парадигма», «экзистенциальный» и им подобные, затесавшийся на собрание математик получает редкую возможность насладиться своим единством с большинством человечества.) Можно выделить два фактора, вызывающие указанное различие.
Первый, очевидный, фактор состоит в том, что математики оперируют точной терминологией, а в качестве терминов нередко употребляют слова обычного языка, придавая им совершенно новый смысл. Например, слова «кольцо» и «поле» обозначают в математике алгебраические структуры определённого вида, ничего общего не имеющие с обручальными кольцами и засеянными полями. Подобные явления следует квалифицировать как омонимию, а возможная путаница легко устраняется контекстом, и потому обычно не составляет труда уяснить, что имеется в виду [13]. Математики настолько привыкли черпать специальные термины из общеупотребительной лексики, что порой склонны отыскивать математический смысл в самых обычных словах.
Вот иллюстрация к сказанному. Механико-математический факультет Московского университета, 1950-е гг. Идёт научный семинар, руководимый знаменитым математиком Сергеем Львовичем Соболевым (сейчас его имя носит Институт математики Сибирского отделения РАН). До слегка задремавшего Соболева доносятся слова докладчика: «А теперь я должен ввести целый ряд обозначений». Соболев просыпается и спрашивает: «Простите, какой ряд вы называете целым?» (Для тех читателей, которые незнакомы с математическим термином «ряд», поясню, что в математике рядом называется последовательность из бесконечного числа членов, подлежащих суммированию.) В подобных случаях долг гуманитария – напомнить математику, что обычные слова имеют значения и за пределами математического жаргона.
Второй фактор заключается в том, что математический смысл слова, заимствованного из естественного языка, может быть близок к обычному смыслу этого слова, но не совпадать с этим обычным смыслом. Так, математическое значение слова «угол» происходит от его обыденного значения, однако эти значения не совпадают даже в простейшем случае угла между двумя прямыми линиями (не говоря уже об угле комнаты): обыденное сознание вряд ли примирится с углом ноль градусов. В подобных случаях выбор правильного значения может оказаться затруднительным. Второй фактор глубже первого и предопределяется, по-видимому, тем, что занятия математикой и сопряжённое с ними систематическое использование точной терминологии накладывают свой отпечаток на психологию, по крайней мере в части восприятия слов. Этот фактор и проявился в нашем примере со словом «неподалёку».
Пожалуй, существует и третий фактор, не упомянутый нами по той причине, что он, возможно, обнаруживается лишь в отношении одного (но очень важного) слова. Фактор этот сводится к тому, что для обозначения одного важнейшего – и важнейшего не только для математики! – понятия в русском языке отсутствует нужное слово. В математике понятие, о котором идёт речь, обозначается словом «ложь».
Слово «ложь» происходит от глагола «лгать», каковой факт отражается в его словарном толковании: «неправда, намеренное искажение истины». Подчеркнём здесь слово «намеренное». Знаменитый «Энциклопедический словарь» Брокгауза и Ефрона в одноименной статье прямо указывает на аморальность лжи:
Ложь – в отличие от заблуждения и ошибки – обозначает сознательное и потому нравственно предосудительное противоречие истине. Из прилагательных от этого слова безусловно дурное значение сохраняет лишь форма лживый, тогда как ложный употребляется также в смысле объективного несовпадения данного положения с истиною, хотя бы без намерения и вины субъекта; так, лживый вывод есть тот, который делается с намерением обмануть других, тогда как ложным выводом может быть и такой, который делается по ошибке, вводя в обман самого ошибающегося.
Мы видим, что значение русского существительного «ложь» непременно подразумевает субъекта и его злонамеренность. Но субъект со своими намерениями чужд математике.
Вместе с тем в математике ощущается острая потребность в слове, обозначающем любое неистинное утверждение. В качестве такового и выбрано слово «ложь». Таким образом, математики употребляют это слово, лишая его какой-либо нравственной оценки и отрывая от слова «лгать». Заметим, что английский язык располагает двумя словами для перевода русского слова «ложь»: это lie для передачи обычного, общеупотребительного, бытового его смысла, предполагающего сознательную злонамеренность, и falsehood для смысла математического. Заметим также, что в русском языке существует слово, обозначающее любое истинное утверждение, вне зависимости от намерений, с которыми данное утверждение сделано. Это слово «истина». Можно сказать: «Дважды два четыре – это истина» – и при этом не иметь в виду никого, кто бы собирался кого-либо просветить. Но в математике можно сказать: «Дважды два пять – это ложь», не имея в виду никого, кто бы стремился кого-либо обмануть. (Вот тема для интересующихся философией языка: истина в русском языке объективна, а ложь – субъективна.)
