Учитель

Объектом изучения в марковской математике являются конструктивные объекты и конструктивные процессы, выполняемые с этими объектами. Для всех реальных целей этой математики вполне достаточно одного общего типа конструктивных объектов — слов в алфавите. При этом, разумеется, принимаются некоторые идеализирующие соглашения, коротко говоря, допускается наша способность опознавать буквы, слова как графически одинаковые или различные. Таким образом, мы можем говорить, например, о букве «а» русского алфавита, отвлекаясь от различий в реальных появлениях этого знака в словах, которые мы пишем или печатаем. Каждый, кто сталкивался с документами, написанными плохим почерком или даже просто с печатными (не говорю уж о рукописных) текстами в готике, понимает, что здесь идёт речь именно об идеализации. С другой стороны, наша способность читать, распознавать графемы лежит в самой основе интеллектуальной деятельности человека. Целые числа, очевидно, можно трактовать как слова в алфавите, который мы видим на клавиатуре нашего компьютера, то же самое можно сказать и о рациональных числах. Скажем, 2/3, очевидно, слово. О том, как распространяется этот подход на «высшую математику», можно прочесть в уже упоминавшейся (примечание 52) моей монографии.

В центре конструктивной математики Маркова находится также точное понятие алгорифма. Несколько огрубляя ситуацию, можно сказать, что алгорифмы — это компьютерные программы. Сами же компьютеры имеют возможность наращивать по мере необходимости память и потенциально не ограничены во времени выполнения программ. Точные понятия алгорифма были выработаны в математике в тридцатых годах 20-го века, и характерно, что случилось это в недрах именно оснований математики, в ходе работ по преодолению кризиса этих оснований. Андрей Андреевич включился в эту работу сразу после войны, когда и начался его «конструктивный период». Впрочем, в частных беседах А.А. говорил, что имел ясно выраженные «конструктивные» наклонности много раньше. А.А. Маркова, Мл. можно смело считать одним из пионеров теории алгорифмов и компьютерных наук, информатики (Computer Science). Им было предложено одно из ведущих современных точных понятий алгорифма (нормальные алгорифмы Маркова) и написана ставшая уже классической монография[52], содержащая первое в математической практике строгое изложение теории слов и доказательства правильности работы тех или иных алгорифмов. Помимо прочего, это предвосхищало ряд современных направлений в информатике.

Сама природа конструктивных объектов и процессов подсказывает новый подход к пониманию математических суждений. Например, существование конструктивного объекта считается установленным, если указан потенциально выполнимый способ построения этого объекта. При этом многие привычные принципы оказываются неприемлемыми. В особенности это относится к закону исключённого третьего и к косвенным методам доказательств, на нём основанных. Например, в доказательствах по хорошо знакомой схеме «от противного» существование конструктивного объекта устанавливается приведением к противоречию гипотезы, что искомый объект не существует. При этом никакого способа построения искомого объекта не предлагается, и он оказывается не осязаемым, чем-то вроде призрака. И такие призраки бродят по всей традиционной математике. Из сказанного ясно, что в конструктивной логике «быть» гораздо сильнее, чем «не может не быть». Впрочем, и в обычной речи здесь имеется явный стилистический оттенок, предложение «я выразил своё возмущение этому господину» звучит сильнее, категоричнее, чем «я не мог не выразить своего возмущения этому господину»[53].

По-видимому, Брауэр был первым учёным, сделавшим эпохальный шаг в осознании не универсального характера классической логики. Различные философии, различные приложения могут требовать различных логик. Эта множественность духовно сродни множественности геометрий, открытой в XIX-м веке Лобачевским, Бойяи и Гауссом. Брауэр же сформулировал основные принципы интуиционистской логики, с несущественными для нас нюансами являющейся также логикой конструктивной математики. Выражаясь кратко, классическая логика есть логика идеализированного математического бытия, абсолютного знания этого бытия, тогда как конструктивная логика есть логика наших умений.

***

Сережа прочёл «Гамлета» с особенным вдохновением, видно было, что стихотворение захватывало его. На меня это произвело сильное впечатление — не столько даже сами стихи, сколько одухотворённость читавшего и ощущение прикосновения к чему-то большому, новому, частью чего были эти немногие строки… Помнится, я тогда же сказал, что меня огорчает последняя строка «Жизнь прожить — не поле перейти». Непостижимо, как можно было закончить такое стихотворение чугунной формулой пословицы… Серёжа отвечал искренним недоумением и рассказывал о даче в Переделкино, смотревшей окнами на кладбище за полем, тем самым полем, которое Пастернак в конце концов «перешёл» на руках несших гроб… К могиле на холме под тремя соснами… Строка была пророческой.