У нас была Великая эпоха!
А. А. Шалыто, д. т. н., профессор
Недавно я был на совещании в Нижегородском государственном университете им. Н. И. Лобачевского и в одном из выступлений тридцатипятилетнего докладчика из Новосибирского Академгородка услышал словосочетание «комбинаторные схемы», которое резануло слух.
Моя реплика о том, что в советской литературе по теории автоматов такие схемы всегда назывались не «комбинаторными», а «комбинационными», не заставила себя долго ждать, как впрочем, и ответ докладчика: «Советскую литературу по этой тематике не читал, я применяю англоязычные руководства для пользователей».
Такой ответ меня, естественно, возмутил, так как у нас в стране в этой области была Великая эпоха, а даже уже не очень молодые люди не знают об этом, и, самое главное, похоже и знать не хотят, так как это их никуда не приближает.
Указанный ответ меня не удивил, так как я в последнее время общался с большим числом очень сильных молодых программистов из различных организаций и ни один из них не знал, что в нашей стране уже более 25 лет Академия наук выпускает журнал «Программирование», который на английском языке выходит под названием «Programming and Computer Software» (годовая подписка этого не очень толстого журнала стоит 1292$ за шесть номеров и 1550$ при их совместном приобретении вместе с электронной версией). Полное отсутствие интереса к авторитетному (иначе за него не платили бы на Западе такие деньги) в мире профессионального программирования журналу, видимо, связано с его теоретической направленностью, которая, похоже, «продвинутым» программистам мало интересна. А ведь и в области программирования в Советском Союзе, как будет показано ниже, была Великая эпоха, тесно связанная с эпохой в теории автоматов.
Никаких воспоминаний я писать не собирался (да и, видимо, еще рано, правда, завтра может быть поздно — как кто-то сказал: «Где я, а где завтра?»), но сказанное выше подействовало, и я решил написать про Гавриловские школы и про то, что происходило вокруг них.
Что такое Гавриловские школы?
Это Школа по теории релейных устройств и конечных автоматов, носящая сейчас имя члена-корреспондента АН СССР Михаила Александровича Гаврилова (1903-1979), который в течение многих лет работал в Институте проблем управления (Институт автоматики и телемеханики) АН СССР (Москва). Михаил Александрович внес определяющий вклад в становление прикладной теории автоматов в нашей стране и в объединение вокруг этой теории людей, ставших друзьями на всю жизнь.
Гавриловские школы — это уникальное явление, не имеющее аналогов в современной мировой науке. Ни в одной области науки, ни в одной стране мира нет Школы, которая существовала бы уже более сорока лет, причем заседания Школы проходили и проходят не в одном месте, а в различных городах СССР.
Из Школы М. А. Гаврилова выделился ряд других школ: по диагностике, по однородным структурам, по автоматизации проектирования.
За это время через Школу прошли сотни людей, некоторых из них я по назову ниже. Я не могу перечислить всех, так как стал заниматься автоматами только с 1971 г., да и на школах бывал не так часто, но, видимо, являюсь последним поступившим в Школу при МАГе (Михаиле Александровиче Гаврилове) и, к сожалению, дело идет к тому, что могу стать последним, кто ее закончит, так как «одних уж нет, а те далече». Тем более что и журнал «Автоматика и телемеханика», базирующийся в Институте проблем управления, перестает быть оплотом этого научного направления, так как перестает принимать статьи по логическому синтезу, считая в настоящее время эту область не научной, а технологической. Хотя, как говорил С. В. Яблонский, «если наука не спекулятивна, она не устареет».
Теория релейных устройств начала развиваться в мире с пионерской работы японца А. Накашима (1935 г.). В 1938 г. К. Э. Шеннон (1916-2001 гг.) опубликовал аналогичную работу «Символический анализ релейных и переключательных схем», имевшую огромное влияние на развитие этого направления науки в мире. В. И. Шестаков (1907-1987) в 1941 г. опубликовал работу «Некоторые математические методы конструирования и упрощения двухполюсных схем класса А», выполненную в 1935-1938 гг. на физическом факультете МГУ им. М. В. Ломоносова.
А ведь до Шестакова в нашей стране (г. Казани)работал И. И. Жегалкин (опередивший лет на тридцать американцев Рида и Миллера), работу которого 1924 г. на русском языке я видел в 1995 г. в США на конференции по ситуационному управлению (предложенному Д. А. Поспеловым) в руках у военного-ученого из Пентагона, занимавшегося NP-трудными задачами. Он неожиданно нашел меня по Интернету и вновь проявил интерес к исследованиям Жегалкина в области полиномов. Кстати, отметим, что первой задачей, для которой была доказана ее NP-полнота, является задача «Выполнимость булевой формулы», а все остальные задачи этого класса могут быть сведены к ней.
А еще задолго до Жегалкина в Казани работал П. С. Порецкий, одна из основополагающих работ которого по математической логике датируется 1884 г., а на возможность использования алгебры логики при построении релейных схем впервые указал Ч. Пирс еще в 1986 г ., а в России — петербургский физик П. С. Эренфест (1910 г.). К числу авторов первых в мире работ по проектированию релейных схем следует отнести наших соотечественников А. Кутти и М. Цымбалистого (1928 г.).
После работ В. И. Шестакова в этой области науки в СССР наступила эпоха М. А. Гаврилова, которая могла (если бы не было борьбы с кибернетикой, железного занавеса и других характерных для нас прелестей) превратиться в его эпоху во всем мире, тем более, что К. Э. Шеннон от работ в этой области весьма скоро отошел.
М. А. Гаврилов начинал свою научную деятельность с практических работ по телемеханике, в которой релейные устройства строились эвристически. Он пришел к выводу, что этот класс устройств может быть синтезирован с помощью формализованных методов, про которые написал одну из первых в мире монографий: Гаврилов М. А. Теория релейно-контактных схем. М., Изд-во АН СССР, 1950. Первую книгу по этой тематике опубликовал в 1947 г. австрийский ученый О. Плехль. Она называлась «Schalter und Apparatebau».
Однако путь МАГа в этом направлении не был усыпан розами. Так, докторскую диссертацию по данной тематике он смог защитить только в 1946 г ., и только благодаря усилиям философа С. А. Яновской, которая смогла убедить окружающих, что применение булевой алгебры при синтезе схем не является идеализмом и не противоречит марксизму-ленинизму , а также Акселю Ивановичу Бергу . Да и в Академию наук он был избран сравнительно поздно ( 1963 г .). Интересно, что про МАГа и его окружение написана художественная книга (что редко бывает применительно к ученым, особенно при их жизни) — Юрий Вебер «Когда приходит ответ», изданная, по-моему, в «Детгизе»! Это вам не покемоны с телепузиками. Эта книга в дальнейшем была переиздана в издательстве «Художественная литература» в серии «Пути в незнаемое».
После выхода в 1950 г. книги М. А. Гаврилова началось!!!
Г. Н. Поваров (с которым я переписывался еще сравнительно недавно) в 50-х годах публикует до защиты кандидатской диссертации (доктором он, к сожалению, почему-то не стал, но зато стал классиком) с десяток статей в «Докладах Академии наук» (вспомните какого уровня публикации в большинстве случаев встречаются в нынешних диссертациях, особенно кандидатских, по компьютерным наукам).
П. П. Пархоменко в 1956 г. на Всемирной выставке в Брюсселе получает Золотую медаль за машину для минимизации релейных схем.
Я выше отметил, что пишу не историю, а лишь «рефлексию», поэтому перехожу к перечислению участников Школы, о которых я помню или знаю. «Школьники» разбиты на классы по имени своего Учителя или по территориальному принципу.
Ученики М. А. Гаврилова — Кузнецов О. П., Казаков В. Д., Томфельд Ю. Л., Тимофеев Б. Л., Остиану В. М., Ляхович В. Ф., Девятков В. В., Пупырев Е. И., Амбарцумян А. А., Потехин А. И., Степаненко С. А., Бивол Л. Г., Малевич А. Н., Запольских Е. Н., Чичковский А. Б., Липатников В. И., Искра С. А., Ивченков Л. А., Шоломов Л. А., Макаревский А. Я., Шипилина Л. Б., Марковский А. В., Вольвовский Л. А., Григорян А. К., Окуджава В. Ш., Лаговиер Б. А., Воклер И. Э., Золотаревская М. Я., Галактионова Е. И., Гребенюк Е. А., Котляр С. Б. и др.
Ученики В. М. Глушкова, создавшего методологию синтеза цифровых автоматов и решившего обобщенную пятую проблему Гильберта (Институт кибернетики, Киев) — Капитонова Ю. В., Летичевский А. А., Цетлин Г. Е., Стогний А. А., Рабинович З. Л., Иваськив Ю. Л., Коваль В. Н., Чеботарев А. Н., Мацевитый Л. В., Деркач В. П., Денисенко Е. Л., Чайка Н. С., Алексеенко В. Г., Мищенко А. Т., Гороховский С. С., Боднарчук В. Г., Комухаев Э. И., Литвинов В. В. и др.
Ученики И. В. Прангишвили (Институт проблем управления) — Игнатущенко В. В., Малюгин В. Д., Бабичева Е. В., Абрамова Н. А., Ускач М. А., Вишневский В. М., Медведев И. Л., Стецюра Г. Г., Вейц А. В., Чачанидзе В. Г., Асатиани Г. Г., Абуладзе Т. Д., Егоров И. П., Степановская И. А., Сперанская И. В, Попова Г. М., Смородинова О. Г., Чудин А. А., Прохорова Э. Г., Быховский В. К., Певцов Д. В., Соколов В. В., Зуенков М. А. и др.
Ученики В. Г. Лазарева (Институт проблем передачи информации, Москва) — Пийль Е. И., Дьяченко В. Ф., Саввин Г. Г., Гармаш В. А., Наумчук (Сергеева) О. Ф., Крейнин Г. В., Исьянов В. М., Ершова Э. Б., Ершов В. А., Майстрова Т. Л., Иванова О. Н., Турута Е. Н., Ченцов В. М., Бутрименко А. В., Черняев В. Г., Савельев А. Г., Сейфула И. Д., Донианц В. Н., Фирсов А. И., Пепинов Ф. И., Кондратьева Е. А., Сопруненко Е. П., Паршенков Н. Я., Соловьев А. В., Богданова Г. В., Зорева .Н. и др.
Ученики В. И. Варшавского (Ленинград) — Розенблюм .Я., Овсиевич Б. Л., Боголюбов И. Н., Воронцова И. П., Песчанский В. А., Мараховский В. Б., Стародубцев Н. А., Цирлин Б. С., Кондратьев А. В., Кишеневский М. А., Таубин А. Р., Астановский А. Г., Финкельштейн Р. Л., Яковлев А. В.
Ученики А. Д. Закревского (Томский государственный университет, Институт технической кибернетики, Минск) — Янковская А. Е., Поттосин Ю. В., Матросова А. Ю., Новоселов В. Г., Ротко В. Ф., Торопов Н. Р., Агибалов Г.П, Евтушенко Н. В., Черемисинова Л. Д., Бибило П. Н., Шнейдер Б. Н., Василенок В. К. и др.
Ученики Э. А. Якубайтиса (Институт автоматики и вычислительной техники, Рига) — Фрицнович Г. Ф., Гобземис А. Ю., Чапенко В. П., Горобец В. Г., Петренко А. Ф., Гуртовцев А. Л., Калнберзинь А. Я., Гринберг Э. Я., Илзиня И. Г., Лемберский И. Г., Ланге Э. Э., Калниньш Я. Я., Толмачева А. Ю. и др.
Ученики Д. А. Поспелова — Захаров В. Н., Хазацкий В. Е., Вагин В. Н. и др.
Ученики А. В. Каляева (Таганрогский радиотехнический институт) — Мелехов А. Н., Курейчик В. М., Берштейн Л. С., Иванов Г. И., Топольский Н. Г., Гузик В. Ф., Пьявченко О. Н., Лисяк В. В., Кодачигов В. И., Макаревич О. Б., Витиска Н. И., Денисенко Н. И., Калашников В. А. и др.
Ученики П. П. Пархоменко (Институт проблем управления) — Горовой В. Р., Карибский В. В., Согомонян Е. С., Аксенова Г. П., Халчев В. Ф., Каравай М. Ф. и др. Диагностикой, связанной с теорией автоматов, занимались также Коган И. В. и Гробман Д. М.
Ученики В. П. Чистова (Инсититут математики, Свердловск) — Битюцкий В. П., Закурдаев Н. В., Ковалин Н. В., Кононенко И. А., Ситников И. О., Гогина М. А. и др.
Перейдем к перечислению других «школьников».
Москва — Цетлин М. Л., Харкевич А. Д., Поспелов Г. С., Варшамов Р. Р., Рогинский В. Н., Архангельская А. А., Нейман В. И., Таль А. А., Айзерман М. А., Розеноэр Л. И., Гусев Л. А., Смирнова И. М., Трахтенгерц Э. А., Юрасов А. Н., Войшвилло Е. К., Меклер Я. И., Воржева В. В., Диденко В. П., Иванов В. И., Таланцев А. Д., Васильева Н. П., Сагалович Ю. Л., Горбатов В. А., Стефанюк В. Л., Доманицкий С. М., Максимов В. И., Юдицкий С. А., Тагаевская А. А., Ефремова Т. К., Берендс Т. К., Заславский И. Д., Шрейдер Ю. А., Озерной В. М., Редькин Н. П., Миллерова М. Г., Иванов Н. Н., Руднев В. В., Михайлов Г. И., Кукинов А. М., Шамров М. И., Попов Ю. А., Бочков П. Е., Голунков Ю. В., Гурвич Е. И., Гурвиц Е. А., Дулепов Е. Г., Карасик В. М., Белявский В. Л., Казаков А. Д. и др.
Ленинград — Карповский М. Г., Баранов С. И., Немолочнов О. Ф., Фирдман Г. Р., Питтель Б. Г., Сапожников В. В., Сапожников Вл. В., Карпов Ю. Г., Артюхов В. Л., Копейкин Г. А., Шалыто А. А., Кондратьев В. Н., Кухарев Г. А., Москалев Э. С., Перчук В. Л., Дудкин В. С., Лапкин Л. Я., Берлин А. Н., Альтшуль С. Д., Гильман Г. И., Рог Г. В., Иохельсон Е. Д., Авсаркисян Г. С. и др.
Киев — Вавилов Е. Н., Портной Г. П., Егоров Б. П., Шишков Д. Б., Карташев В. И., Карташева С. П., Сафонов И. В. и др.
Новосибирск — Бандман О. Л., Евреинов Э. В., Косарев Ю. Г., Фет Я. И., Макаров Л. И., Макаров С. В., Маркова В. П., Пискунов С. В., Ачасова С. М., Анишев П. А., Мишин А. И., Седристый Б. А., Мерекин Ю. В., Сергеев С. Н., Корнеев Ю. Н., Койфман А. А., Скоробогатов В. А., Хорошевский В. Г., Иловайский И. В., Хрущев А. И., Потапов В. И., Седухин С. Г. и др.
Минск — Блох А. Ш., Ладес В. И., Павловский А. И., Казущик В. А., Пономаренко В. К., Неверов Г. В., Горелик А. В., Уткин А. А., Скляров В. А., Синев В. Н., Шмерко В. П., Янушкевич С. Н., Зайцева Е. Н. и др.
Ярославль — Маматов Ю. А.
Новочеркасск — Мельников М. С.
Пенза — Левин В. И.
Рязань — Корячко А. П.
Рига — Страздинь И. Э., Скляревич А. Н., Белявский В. Л.
Владивосток — Май В. П., Грейнер Г. Р., Гольдман Р. С., Чипулис В. П., Токмакова Л. И.
Донецк, Саратов — Богомолов А. М., Сперанский Д. В., Барашко А. С., Грунский И. С., Козловский В. А., Баркалов А. А., Твердохлебов В. А. и др.
Кишенев — Кришталь В. З., Булат М. С.
Таллин — Тамм Б. Г., Тыугу Э. Х., Тани Х. И., Кээвалик А. Э.
Ужгород — Айзенберг Н. Н.
Севастополь — Бутаков Е. А., Островский В. И.
Фрунзе — Образцов В. В., Арсентьев Ю. Н., Копыленко В. М., Базарбаева Т. Г., Вострова З. И.
Тбилиси — Чавчанидзе В. В., Гиоргадзе А. Х., Ананиашвили Г. А., Цирамуа Г. С.
Баку — Фараджев Р. Г., Аскеров Ч. И., Гамидов В. В.
Каунас — Абрайтис Л. Б., Атстопас Ф. Ф., Жинтелис Г. В. и др.
Ташкент — Абдулаев Д. А., Юнусов Д.
Харьков — Попов В. А., Скибенко И. Т., Мокляк И. Г., Сычев А. В., Мищенко В. А., Козюминский В. Д., Семашко А. Н. и др.
Тирасполь — Выхованец В. С.
Отметим, что в области прикладной теории автоматов работало еще много других ученых, которые не названы выше, так как не принимали участия в работе Гавриловских школ. В это время активно работали Майоров С. А., Новиков Г. И., Скорубский В. И., Смолов В. Б., Пузанков Д. В., Балашов Е. П., Петров Г. А., Барашенков В. В., Игнатьев М. Б., Торгашев В. А., Кравцов Л. Я., Кузнецов Б. П. и многие, многие другие.
Теорией вероятностных автоматов занимались: Бухараев Р. Г., Срагович В. Г., Церцвадзе Г. Н., Лоренц А. А., Флеров Ю. А., Чирков М. К., Новорусский В. В. и др.
Кроме исследований в области прикладной теории автоматов в СССР сложилась школа математиков, занимавшихся теорией автоматов, которая в основном сформировалась в Институте прикладной математики АН СССР (Москва) и МГУ и оказала существенное влияние на прикладную теорию автоматов и специалистов, работавших в этой области.
Лидером этой школы по сей день является О. Б. Лупанов, автореферат кандидатской диссертации которого занимает чуть больше одной страницы (на защиту выносилось доказательство асимптотической оценки сложности реализации произвольной булевой функции контактными схемами; при этом верхняя оценка, полученная К. Э. Шенноном, уменьшалась в два раза), а не печатный лист, как это бывает обычно.
Автор имел честь однажды беседовать О. Б. Лупановым, и эта беседа запомнилась на всю жизнь. Она без предварительной договоренности началась в 22-15, а закончилась далеко за полночь. При этом один из крупнейших в области дискретной математики ученых мира, несмотря на то, что видел меня первый раз в жизни (правда, моя первая книжка, которую я ему послал, стояла у него в шкафу), внимательно слушал и никуда казалось бы не торопился, а ведь дело было на Ленинских горах зимой, в мороз, и ему еще необходимо было добраться домой, а используя принятую выше терминологию, эта беседа его мало куда приближала.
Еще один интересный штрих. Я однажды сообщил о юбилее О. Б. Лупанова своему научному руководителю В. Л. Артюхову, который предположил, что Олегу Борисовичу восемьдесят лет, а не всего пятьдесят, как было на самом деле, так как к тому времени Лупанов был широко известен уже долгие годы.
В эту школу входили также Яблонский С. В., Журавлев Ю. И., Чегис И. А., Потапов Ю. Г., Васильев Ю. Л., Коршунов А. Д., Фрейвалд Р. В., Мартынюк В. В., Шестопал Г. А., Медведев Ю. Т., Левенштейн В. И., Гаврилов Г. П., Кудрявцев В. Б., Алешин С. В., Подколзин А. С., Карпова Н. А., Храпченко В. М., Буевич В. А., Карацуба А. А., Кратко М. И., Редько В. Н., Кузнецов А. В., Сапоженко А. А., Субботовская Б. А. и др.
Кроме того, в Москве в это время работали такие известные ученые в области дискретной математики и искусственного интеллекта, как Адян А. С., Успенский В. А., Кронрод М. А., Адельсон-Вельский Г.М. и Ландис Е.М., АВЛ-деревья которых изучают во всем мире в курсе теории алгоритмов, Арлазаров В. Л., Усков А., Хачиян Л. Г., предложивший полиномиальный алгоритм в линейном программировании, Зарипов Р. Х. и др.
В Новосибирске области теории автоматов и дискретной математики работали Трахтенброт Б. А., Кобринский Н. Е., Ершов Ю. Л., Гладкий А. В., Кузьмин В. А., Глаголев В. В., Кратко М. И., Кричевский Р. Е., Евстигнеев В. А. и др.
В этой области в Риге работал Бардзинь Я. М., в Казани — Нигматуллин Р. Г. В Ленинграде исследования по математической логике выполняли Шанин Н. А., Матиясевич Ю. В., решивший десятую проблему Гильберта, Маслов С. Ю., Слисенко А. О., Цейтин Г. С., а по теории автоматов — Нечипорук Э. И., Лунц А. Г.
Исследования по теории автоматов проводились в СССР параллельно с созданием практического и теоретического программирования. В его становлении принимали участие такие ученые, как Абрамов А. А., Брудно А. Л., Янов Ю. И., Ершов А. П., Иванников В. П. (главный редактор журнала «Программирование»), Шура-Бура М. Р., Подловченко Р. И., Кулагина О. С., Лавров С. С., Задыхайло И. Б., Любимский Э. З., Люстерник Л. А., Камынин С. С., Калужнин Л. А., Мартынюк В. В., Трифонов Н. П., Жоголев Е. А., Турчин В. Ф., Шестаков В. И., Штаркман В. С., Ющенко Е. Л., Королюк В. С., Агафонов В. Н., Поттосин И. В., Касьянов В. Н., Непомнящий В. А., Котов В. Е., Сабельфельд В. К., Нариньяни А. С., Вальковский В. А. и др.
Работы по теории автоматов и программированию косвенно и впрямую использовались при создании отечественной вычислительной техники, некоторые образцы которой (например, машины М-10 и БЭСМ-6) не уступали, а во многом и превосходили зарубежные аналоги. Это, в первую очередь, касалось закрытой тематики, так как в противном случае СССР не мог бы обеспечить оборонный паритет. Среди создателей отечественной вычислительной техники следует отметить таких выдающихся конструкторов, как Лебедев С. А., Брук И. С., Рамеев Б. И. (доктор технических наук без высшего образования), Бессонов Н. И., Базилевский Ю. Я., Матюхин Н. Я., Брусенцов Н. П., Королев Л. Н., Карцев М. А., Бруевич Н. Г., Малиновский Б. Н., Бункин Б. В., Бурцев В. С., Мельников В. А., Бабаян Б. А. и др.
Теория автоматов, программирование и вычислительная техника развивались в рамках единого направления, названного Н. Винером «Кибернетика» (сегодня это «Информатика» или «Computer Science»), для которой также было характерно рассмотрение вопросов управления в живой природе. Этому посвятили свои исследования Тимофеев-Ресовский Н. В., Шмальгаузен И. И., Лурия А. Р., Гурфинкель В. С. и многие другие.
Роль Берга А. И., Гаазе-Рапопорта М. Г., Дородницына А. А., Котельникова В. А., Гнеденко Б. В., Бусленко Н. П., Добрушина Р. Л., Бонгарда М. М., Полетаева И. А., Китова А. И., Криницкого Н. А. в становлении кибернетики в СССР трудно переоценить.
Многие из перечисленных выше специалистов являются крупными учеными мирового уровня, но кроме них развитию кибернетики в нашей стране помогали такие титаны науки, как Канторович Л. В., Келдыш М. В., Лаврентьев М. А., Соболев С. Л., Новиков П. С., Марков А. А. (младший), Гельфанд И. М., Мальцев А. И., Ляпунов А. А.
Несколько слов об Алексее Андреевиче Ляпунове (1911-1973), ученике Лузина Н. Н., внесшем большой вклад в становление теоретического программирования в мире.
Для студентов кафедры вычислительной математики МГУ в 1952-53 учебном году Алексеем Андреевичем был прочитан небольшой по количеству лекций (восемь!) курс под названием «Принципы программирования». В процессе его чтения у лектора сформировалась система понятий, положенная в основу его операторного метода. Из него выросли затем и символические языки программирования, трансляторы (именуемые ранее программирующими программами) и теория схем программ. Алексей Андреевич начинал свой курс, когда программистов были единицы, а то немногое, что относилось к ЭВМ, было засекречено. Решению будущих фундаментальных проблем программирования очень помогло непосредственное знакомство Алексея Андреевича с первой отечественной вычислительной машиной, для чего ему пришлось съездить в Феофанию, что под Киевом: там она была создана под руководством С. А. Лебедева«(Р. И. Подловченко).
Кстати, как тесен мир: одно из книжных издательств попросило профессора МГУ Римму Ивановну Подловченко дать отзыв на план-проспект книги «Теория автоматов в программировании», написанный мною в соавторстве с Н. И. Туккелем.
Переходя к обзору достижений А. А. Ляпунова, отметим прежде всего его работы по теории программирования. Уже в ранний период развития программирования были осознаны трудности в создании больших программ без предварительного составления подходящей блок-схемы в терминах достаточно крупных операций. В 1953 г. Алексей Андреевич предложил метод предварительного описания программ при помощи операторных схем, который был ориентирован на четкое выделение основных операторов и на построение своеобразной алгебры преобразований программ. Этот метод благодаря алгебраической записи оказался значительно более удобным, чем применявшийся ранее метод блок-схем. Он стал основным средством автоматизации программирования и положен в основу развития идей советской школы программирования. В дальнейшем эти идеи углублялись и развивались как советскими (Ю. И. Янов, А. П. Ершов), так и зарубежными учеными. На этом пути было достигнуто лучшее понимание того, как можно преобразовывать схемы программ эквивалентным образом и оценивать получающуюся программу по виду ее логической схемы» (Б. А. Трахтенброт).
«IEEE (The Institute of Electrical and Electronic Engineers) как международное сообщество существует уже более 100 лет. В 1946 г. в нем было основано структурное подразделение — Computer Society, которое объединяет сотни тысяч профессионалов, работающих в области компьютерной науки и индустрии: информатики, программирования, производства вычислительной техники и компьютерного бизнеса. Самая престижная награда этого общества — медаль „Computer Pioneer“ — учреждена в 1981 г. Ее цель — признать и представить мировому сообществу тех выдающихся лиц, усилиями которых создавалась и развивалась сфера компьютерных технологий, при условии, что главный их вклад был сделан не менее 15-ти лет назад. Среди 55 лауреатов этой почетной награды можно назвать таких классиков информатики, как Дж. Атанасов — за создание одной из первых электронных вычислительных машин, Н. Вирт — за разработку языка „Паскаль“, Дж. Маккарти и М. Минский — за работы в области искусственного интеллекта, Э. Кодд — за создание реляционной модели данных и др.
В этом списке (во многом из-за железного занавеса) не было советских ученых. В 1996 г., в пятидесятилетний юбилей своего образования Общество приложило максимальные усилия, чтобы восстановить историческую справедливость, и наградила медалями „Computer Pioneer“ В. М. Глушкова, С. А. Лебедева и А. А. Ляпунова — за заслуги в создании основ вычислительной техники и программирования» (Короткевич Г. В.).
В заключение отметим, что перечисленная выше «компания» была ничуть не слабее соответствующей западной, во многом создававшей «Computer Science». Просто нашим «немного» не повезло!
Кроме того, обидно, что становление теории автоматов и теории программирования происходило в доинтернетовскую эпоху, что практически исключало полученные в этих областях результаты из сферы интересов отечественной молодежи, для которой Интернет является чуть ли не единственным источником знаний. Хотя указанная тенденция еще охватила не весь мир: например, библиотека Кембриджского университета выписывает 55000 журналов (!) и их, наверное, читают («Известия», 19.04.2002 г.).
И последнее. Часто можно слышать мнение, что в инфантилизме молодежи надо винить нас, в чем, видимо, есть доля правды. Однако в их инфантилизме я сильно сомневаюсь, так как большинство из них легко пройдут тест на его отсутствие: различат, что в качестве зарплаты им дали, например, 700 рублей, а не 700 долларов. Так что инфантилизм, если он у них и есть, весьма избирательный.
Кстати, есть еще тест «покруче»: «Миру перевернуться или мне чай без сахара пить?» (Ф. М. Достоевский).
Хочется верить, что если предыдущие поколения ученых в области информатики добились весьма многого, то и нынешняя молодежь, которая не менее талантлива, если захочет, может добиться еще большего. Стоит только захотеть, ведь не зря говорят, что «человек способен сделать все то, что он может, а еще и все то, что захочет».
И вновь наступит время, когда «Академия наук будет казаться какой-то недосягаемой для простых смертных вершиной, простое пребывание на которой является чем-то невероятным» (Н. Я. Матюхин, студент, а в дальнейшем член-корреспондент АН СССР). Кстати, Российская Академия наук со времен Екатерины I была явлением уникальным, так как ни в одной стране мира нельзя было за деньги заниматься только наукой, не занимаясь, например, преподаванием. Это привело к крупной «утечке умов» из Западной Европы, и в Россию на долгие годы приехали работать Л. Эйлер (похоронен в Александро-Невской Лавре Санкт-Петебурга), Д. Бернулли, Х. Гольдбах и многие другие крупные ученые.
В заключение отметим, что цитаты, использованные в настоящей работе, заимствованы из книги «Очерки истории информатики в России» (редакторы-составители Д. А. Поспелов, Я. И. Фет), которая опубликована в 1998 году в Новосибирске (издательство ОИГГМ СО РАН) при финансовой поддержке Российского фонда фундаментальны исследований. Кроме того, весьма полезны энциклопедический словарь «Информатика» (под редакцией Д. А. Поспелова, М.: Педагогика-Пресс, 1994) и формирующийся в настоящее время Виртуальный музей вычислительной техники (www.computer-museum.ru), а также книги: Частиков А. П. «Архитекторы компьютерного мира» (СПб.: БХВ-Петербург, 2002) и Кронрод А. С. «Беседы о программировании».
Автор будет признателен за предложения по корректировке этого материала
[mail@avrorasystems.com (для Шалыто)].
Статья опубликована 03.07.2002 г.
Изменена и дополнена 10.08.2007 г.
