Диалоги (сентябрь 2003 г.)   ::   Гордон Александр

Точное логическое рассуждение – это только самый примитивный язык, который используют в математике. Знаете, как в компьютерах есть самый примитивный язык в двоичных кодах.

А.Г. Бинарный код, да.

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

Посмотрите, с чего начинается Евангелие от Иоанна. «Вначале было Слово», и дальше – «и Слово было у Бога, и Слово было Бог». Это очень глубокая мысль, независимо от религиозных воззрений того или иного человека. Собственно, она, с другой стороны, тривиальна. Если вы желаете объяснить что-то кому-то, вы рассуждаете, и рассуждаете на каком-то языке. Если Создатель замыслил какой-то мир, он должен был, по крайней мере, внутри себя иметь план. Этот план должен был быть изложен на каком-то языке. Это, в общем-то, простая суть, но когда она начинает конкретизироваться, скажем, в математике, то приобретает такие сложные формы, что ее, этой сути, и не видно. Поэтому я хочу заострить внимание именно на этом аспекте.

Кроме того что математика – это точный язык, это еще и искусство рассуждать на этом языке.