Заслуженная награда за науку

Компьютером сегодня никого не удивишь. Это «безумно умное» изобретение настолько прочно вошло в нашу жизнь, что мы уже не мыслим существование без него. А вот теперь подумайте: кто из специалистов обеспечил легкое и непринужденное общение с компьютером? Программисты? Нет, они шли проторенным путем. А впереди всех были математики! Ведь в основе компьютерных программ находятся такие понятия как алгоритм и формальный язык, разработанные специалистами математической логики.

Создателем и вдохновителем был российский математик академик А. И. Мальцев. Именно он, основывая Сибирскую школу алгебры и логики, впервые в мире ввел в учебные планы создаваемого тогда механико-математического факультета Новосибирского государственного университета нестандартные на то время курсы «Математическая логика» и «Теория алгоритмов».

Долго, очень долго добирались эти новые дисциплины в учебные планы других вузов. Для этого понадобилось создавать учебники и задачники, статьи в журналах и монографии. И даже создать целую школу последователей и учеников, а затем учеников этих учеников и т. д. В результате «мальцевскую» науку изучают не только во всех университетах России, но и в мире.

Жизнь идет вперед, выдвигая ученым все новые и новые проблемы, которые решать необходимо. Иначе – застой. Успешно решая проблемы, новосибирская школа алгебры и логики, работает над проблемами автоматизации познания, языков программирования для суперкомпьютеров, обработки информационных баз данных для различных отраслей науки.
И вот заслуженный успех: премии правительства Российской Федерации «…за внедрение в образовательный процесс вузов современного направления математики – математической логики – удостоены группа… новосибирских ученых». Это доказательство того, что математическая логика попала на передовые позиции науки, науки которую необходимо изучать.

(Фото с сайта nsu.ru)