Альфред Реньи - Диалоги о математике

Для общения и для выражения своих мыслей люди создали величайшее средство — живой разговорный язык и письменную его запись. Язык не остается неизменным — он приспосабливается к условиям жизни, обогащается словарным запасом, вырабатывает новые средства для выражения тончайших оттенков мысли. И тем не менее в ряде случаев он оказывается непригодным. В различных областях человеческой деятельности вырабатываются как бы собственные языки, специально приспособленные для точного и краткого выражения мыслей, свойственных определенному виду деятельности. При выдаче рабочего задания на изготовление нового изделия никогда не ограничиваются только словесным описанием: для уточнения размеров, формы и иных особенностей изделия необходим еще чертеж. В какой-то мере чертеж является своеобразным языком, приспособленным для передачи той информации, которую должен сообщить исполнителю конструктор. Он не допускает разночтений и позволяет в наглядной форме передать большое количество сведений, необходимых для успешного выполнения работы. Эта форма общения несравненно удобнее обычной словесной, поскольку словесное описание мало-мальски сложного конструктивного задания было бы настолько громоздким, что в нем мог бы запутаться сам автор. Графическое задание прочтет любой специалист, даже не владеющий русским языком.

В науке особенно важна ясность и точность выражения мыслей. Язык науки не должен создавать дополнительных трудностей при восприятии сообщаемой информации. Без этого требования не может быть науки как системы знаний, не может быть уверенности в том, что определенное утверждение или предположение не было искажено в процессе рассуждений. Необходимо также предусмотреть все мыслимые исходы и не пропустить каких-либо, кроме рассмотренных, возможностей. Научное изложение должно быть кратким и вполне определенным. Именно поэтому наука обязана разрабатывать собственный язык, способный максимально точно передавать свойственные ей особенности. Прекрасно сказал известный французский физик Луи де Бройль: «…где можно применить математический подход к проблемам, наука вынуждена пользоваться особым языком, символическим языком, своего рода стенографией абстрактной мысли, формулы которой, когда они правильно записаны, по-видимому, не оставляют места ни для какой неопределенности, ни для какого неточного истолкования» [2] Луи де Бройль , По тропам науки, ИЛ, М., 1962, стр. 326. . Но к этому нужно добавить, что математическая символика не только не оставляет места для неточности выражения и расплывчатого истолкования — математическая символика позволяет вдобавок автоматизировать проведение тех действий, которые необходимы для получения выводов. В качестве иллюстрации рассмотрим следующий простой пример.

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

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