100 лет со дня рождения

Р.И. Подловченко
ство к действию задолго до его публикации, которая была частич-
ной и состоялась лишь в 1957
–
58 годах. Этот метод лёг в основу 
мно гих отечественных учебных пособий по программированию. 
На нём выросло первое поколение программистов в нашей стране. 
Следует отметить, что в числе первых разработчиков програм-
мирующих программ были студенты кафедры вычислительной ма-
тематики, в их числе 
–
Андрей Ершов и Саша Любимский. Их 
обоих эта задача привела в будущем к созданию трансляторов с 
алгоритмических языков программирования, в чём состоит их 
большой вклад в программирование. 
Операторный метод заложил также основы теоретического 
программирования. Язык логических схем явился фактически пер-
вым алгоритмическим языком программирования, разработка та-
ких языков составляет не только практическую, но и теоретичес-
кую задачу. Актуальность этого направления исследований сохра-
няется по сей день. Программа, записанная на языке логических 
схем 
–
это новое определение алгоритма. При этом А.А. исходил из 
убеждённости в том, что традиционные подходы к определению 
алгорит ма (машины Тьюринга, продукции Поста, нормальные ал-
горитмы Маркова, 
λ
-исчисление Чёрча-Клини) хороши для иссле-
дования природы вычислений, но непригодны для описания алго-
ритмов в форме, удобной для решения практических задач. Идея 
«крупноблочного» описания алгоритма, реализованная в оператор-
ном методе, открыла путь к новым формализациям понятия «алго-
ритм». В этом выразился значительный вклад в теорию алгорит-
мов, сделанный Алексеем Андреевичем. 
А.А. понимал, что новые формализации понятия «алгоритм» 
приведут к богатым по выразительности классам алгоритмов, кото-
рые не могут рассчитывать на разрешимость в них многих задач 
семантического анализа (известная теорема Райса); в их число по-
падают проблема эквивалентности и проблема построения полных 
систем эквивалентных преобразований алгоритмов, в решение ко-
торых упирается оптимизация алгоритмов. На основании этого 
факта Алексей Андреевич заложил основы теории схем программ, 
где программы моделируются схемами, на которых исследуются 
семантические свойства программ. 
Теория схем программ открыла теоретическое программирова-
ние, став первым научным направлением в этой области. Схема 
программы, как и сама программа, были определены А.А. Ляпуно-
вым на содержательном уровне. Формализация понятия схемы 
программы была выполнена Ю.И. Яновым, аспирантом Алексея 
Андреевича, и вошла в теорию схем программ под названием «схе-
мы Янова». Фактически это 
–
«схемы Ляпунова
–
Янова». 

---

388
VI. ВОСПОМИНАНИЯ УЧЕНИКОВ, ДРУЗЕЙ, КОЛЛЕГ ОБ А.А. ЛЯПУНОВЕ
Ю.И. Яновым получены первые фундаментальные результаты 
в теории схем программ 
–
по проблеме эквивалентности схем и 
построению полных систем эквивалентных преобразований схем. 
Принципиально важным является то, что теория схем программ 
активно развивается по сей день [4, 5]. 
В 1953 году М.В. Келдыш организует в составе Математичес-
кого института им. В.А. Стеклова Отделение прикладной матема-
тики (ныне Институт прикладной математики им. М.В. Келдыша) 
и предлагает Алексею Андреевичу возглавить в нём работы по про-
граммированию. В ОПМ А.А. проработал до своего переезда в Но-
восибирск, который состоялся в начале 1962 года. 
Параллельно с работами по программированию Алексей Анд-
реевич вёл борьбу за признание кибернетики. Дело в том, что в те 
годы малоизвестная в нашей стране кибернетика носила ярлык 
«буржуазной науки», и, чтобы иметь условия для развития кибер-
нетики, надо было снять этот ярлык. Алексей Андреевич проводит 
большую разъяснительную работу: он убеждает людей разного на-
учного и служебного ранга в неверности официального суждения о 
кибернетике, проводит многочисленные лекции и беседы об ис-
тинном содержании кибернетики, наконец, совместно с С.Л. Со-
болевым и А.И. Китовым публикует в журнале «Вопросы фило-
софии» обстоятельную статью о том, что составляет предмет ки-
бернетики и сколь важно её развитие для прогресса науки и 
государства. 
А.А. организует кибернетический семинар в МГУ, добивается 
издания «Кибернетических сборников», в которых публикуются 
переводы наиболее значительных работ зарубежных авторов в об-
ласти теоретической кибернетики (они выходят под редакцией А.А. 
и его «внучатого» ученика О.Б. Лупанова), добивается перевода 
книги Винера, договаривается об издании непериодических сбор-
ников «Проблемы кибернетики», где публиковались отечественные 
работы (под редакцией А.А. вышло 29 сборников). По инициативе 
А.А. при Президиуме АН СССР создаётся Совет по кибернетике 
под руководством А.И. Берга, и А.А. становится его заместителем. 
На IV Всесоюзном Математическом съезде в 1966 году А.А. 
подводит итоги борьбы за кибернетику: «