1.2 Военная служба

В 1942 году А. А. Ляпунов призывается на военную службу и направляется в пехотное училище, которое заканчивает в 1943 году. С 1943 по 1945 год он в должности командира топографического взвода в артиллерии принимает участие в боях на 4-м Украинском, 3-м Белорусском и 1-м Прибалтийском фронтах. За участие в боях по освобождению Крыма А. А. Ляпунов был награжден орденом Красной Звезды. Находясь на фронте, А. А. Ляпунов не прекращал математические исследования. Здесь он занимался вопросами, связанными с точностью артиллерийской стрельбы, и примечательно, что для их решения он широко привлекал аппарат математической статистики.

С 1945 по 1951 гг. Алексей Андреевич преподает математику в Артиллерийской академии им. Дзержинского. Из его учеников по этой академии вышли военные ученые, среди них Н. П. Бусленко, С. Я. Виленкин, А. И. Китов, Н. А. Криницкий, В. И. Мудров, И. Б. Погожев, И. А. Полетаев и др.

2 Научная работа а.А Ляпунова

2.1 Вклад в кибернетику

С 1946 по 1949 г. А. А. Ляпунов является докторантом Математического института им. В. А. Стеклова. Под руководством Петра Сергеевича Новикова он выполняет серию исследований по дескриптивной теории множеств и защищает докторскую диссертацию «Об операциях, приводящих к измеримым множествам». В 1950 г. ему присвоено звание профессора.

В 1949-50 гг. А. А. Ляпунов работает в Институте геофизики АН СССР. В летний сезон 1950 г. он, начальник Северо-Тяньшаньской экспедиции, руководит работами по интерпретации гравитационных наблюдений и глубинного сейсмического зондирования.

В 1951 г. Алексей Андреевич возвращается в МИАН. Когда академик М. В. Келдыш организовал в 1953 году в составе Математического института АН СССР Отделение прикладной математики (ныне Институт прикладной математики им. М. В. Келдыша РАН, он предложил А. А. Ляпунову возглавить в нём работы по программированию. В 1953 году А. А. Ляпунов создает операторный метод в программировании, с которого ведет начало теоретическое программирование. В основе операторного метода лежит аппарат логических схем, который включает основные формализмы, описывающие алгоритмы.

Аппарат (язык) логических схем программ, предложенный А. А. Ляпуновым, вырос из блок-схемного описания программы, применявшегося в то время в практике программирования. Блок-схемное описание предписывало перед программированием алгоритма деление его на части — блоки с установлением связей между ними. Однако понятие самого блока было расплывчатым, а поэтому и не могли быть четко описаны ни правила выделения блоков, ни правила соединения блоков в схему. Аппарат логических схем был с самого начала нацелен на устранение этих недостатков. Для него характерно предварительное и не зависящее от конкретного алгоритма выделение частей, из которых составляются алгоритмы программирования — это выделение осуществляется по признаку функциональной нагрузки, которую несет та или иная часть алгоритма. Так появились понятие оператора (термин "оператор" введен Ляпуновым), осуществляющего акт обработки информации, и понятие логического условия, которое осуществляет акт проверки информации, чтобы определить порядок выполнения операторов. Логическая схема, описывающая алгоритм, "представляет собой строку из операторов и логических условий, называемых членами схемы. После каждого логического условия начинается стрелка, оканчивающаяся либо перед одним из членов схемы, либо в конце строки".

Операторный метод лег в основу многих учебников и учебных пособий по программированию, выпущенных в 50-е годы. Особенно велика роль операторного метода в становлении программирования как науки.

Формальные определения программирования как науки были даны А. А. Ляпуновым в его статье "К алгебраической трактовке программирования", написанной позже. В ней он рассматривает формализмы программирования на "теоретико-множественной базе". Ляпунов связывает программирование с основными направлениями современной математики, в частности с позиций общей алгебры. В статье была заложена та идейная платформа, на которой основывались дальнейшие исследования, проводившиеся учениками Алексея Андреевича — Ю. И. Яновым, А. П. Ершовым, Н. А. Криницким, Р. И. Подловченко и др.

Необходимо также отметить, что с появлением операторного метода была сформулирована проблема автоматизации программирования и, в частности, задача построения программирующей программы (в современной терминологии — "транслятор"), т. е. такой программы, которая сама будет строить программы для различных алгоритмов. Как пишет Р. И. Подловченко, "эта задача определила направление исследований в программировании более чем на десятилетия вперед. Постановка ее принадлежит Алексею Андреевичу Ляпунову и сделана им в 1953 году"

А. А. Ляпунов был одним из первых, кто оценил значение кибернетики и стал активным организатором исследований по кибернетике в нашей стране.

Работы А. А. Ляпунова посвящены разработке общих вопросов кибернетики, математическим основам программирования и теории алгоритмов, математической лингвистике и машинному переводу, кибернетическим вопросам биологии, а также философским и методологическим вопросам развития научной мысли. Им создан операторный метод программирования, который получил широкое распространение в реальном программировании и оказал огромное влияние на все последующее развитие теории программирования.

Одновременно, с осени 1952 г., А. А. Ляпунов работает на механико-математическом факультете МГУ в качестве профессора кафедр математической логики и вычислительной математики. В 1953 г. он организует в МГУ семинар по программированию, в 1954 г. — семинар по исследованию проблем расширения возможных областей применения вычислительных машин. В 1953 году он создал операторный метод, одну из первых в мире нотаций языков программирования — аппарат описания алгоритмов (язык логических схем). В 1955-56 гг. под его руководством работает семинар по вопросам, смежным для кибернетики и физиологии.

Особенно большую роль в координации работ и формировании новых направлений исследований сыграл междисциплинарный семинар по кибернетике, организованный А. А. Ляпуновым в МГУ в 1956 г. Семинар объединил ученых различных специальностей. Он стал центром зарождения кибернетической мысли в нашей стране.

Из числа регулярных участников семинара и учеников А. А. Ляпунова вышли известные ученые в области теоретической и прикладной кибернетики: А. П. Ершов, Ю. И. Журавлев, Н. П. Бусленко, О. Б. Лупанов, С. В. Яблонский, О. С. Кулагина, Р. И. Подловченко, М. Л. Цетлин, Ю. И. Янов и многие другие.

Большое внимание А. А. Ляпунов уделял пропаганде и распространению идей кибернетики. Он основал издание серии сборников «Проблемы кибернетики», создал и редактировал серию книг «Кибернетика в монографиях», организовал публикацию переводов лучших работ зарубежных авторов в серии «Кибернетический сборник».

В 1959 г. по инициативе А. А. Ляпунова при Президиуме АН создается Научный совет по комплексной проблеме «Кибернетика». По предложению А. А. Ляпунова председателем Научного совета назначается академик А. И. Берг, а А. А. Ляпунов становится его заместителем.

Приняв приглашение М. А. Лаврентьева и С. Л. Соболева, в 1961 г. Алексей Андреевич переехал в Новосибирск во вновь созданное Сибирское отделение АН. Здесь по его инициативе создается Отдел кибернетики в Институте математики и кафедра теоретической кибернетики в Новосибирском университете. В 1964 году А. А. Ляпунов был избран членом-корреспондентом АН СССР по Отделению математики. В 1970 г. А. А. Ляпунов переходит на работу в Институт гидродинамики СО РАН и организует в нем лабораторию кибернетики. Этой лабораторией он руководил до конца своей жизни.

За 12 лет, прожитых в Академгородке, Алексей Андреевич сумел осуществить многие из своих научных и педагогических замыслов.

А. А. Ляпунов был ярким педагогом и пропагандистом научных знаний. Он был одним из инициаторов создания в 1962 г. первой в нашей стране физико-математической школы-интерната при Новосибирском университете, первым председателем ее Ученого совета и активным лектором. Он был также одним из организаторов Всесибирских математических олимпиад и летних физматшкол в Академгородке.

В 1964 г. А. А. Ляпунов был избран членом-корреспондентом АН СССР по отделению математики. Научные, педагогические и организаторские заслуги А. А. Ляпунова отмечены правительственными наградами. Он был награжден орденом Ленина, двумя орденами Трудового Красного Знамени и орденом «Знак Почета».

Алексей Андреевич скоропостижно скончался 23 июня 1973 г. в Москве и похоронен на Введенском кладбище. Богатое наследие его планов и идей еще многие годы будет служить развитию науки.