Мальцев, Анатолий Иванович

Материал из Википедии — свободной энциклопедии
В Википедии есть статьи о других людях с такой фамилией, см. Мальцев; Мальцев, Анатолий.
Анатолий Иванович Мальцев
Дата рождения 14 (27) ноября 1909(1909-11-27)
Место рождения пос. Мишеронский, Егорьевский уезд, Рязанская губерния[1], Российская империя
Дата смерти 7 июля 1967(1967-07-07) (57 лет)
Место смерти
СССР
Страна  СССР
Род деятельности
политик, преподаватель университета
Научная сфера математика
Место работы
Институт математики СО АН СССР,
НГУ
Альма-матер МГУ (мехмат)
Учёная степень
1941
)
Учёное звание
1958
)
Научный руководитель А. Н. Колмогоров
Ученики Ю. Л. Ершов,
Л. Л. Максимова,
М. А. Тайцлин
Известен как Основоположник сибирской школы алгебры и логики
Награды и премии
Орден Ленина — 1967 Орден «Знак Почёта» Орден «Знак Почёта»
Ленинская премия — 1964 Сталинская премия 2-й степени — 1946

Анато́лий Ива́нович Ма́льцев (14

Лауреат Ленинской премии
.

Среди результатов в области

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

Биография

Ранние годы

Родился 14 (

Московский университет. Учась на четвёртом курсе, начал работать ассистентом кафедры высшей математики Московского института технологии зерна и муки[7]
.

Научная карьера

По окончании МГУ в

Ивановский государственный педагогический институт (ныне ИвГУ), где работал до 1960 года
.

С

1934 по 1937 год учится в аспирантуре МГУ под руководством А. Н. Колмогорова. В 1937 году
защищает кандидатскую диссертацию «Абелевы группы конечного ранга без кручения».

В 1936 году доказал одну из основных теорем математической логики, известную сейчас как локальная теорема Мальцева. Созданный им метод «описания моделей» позволил дать общее решение ряда проблем, ранее решавшихся с частных позиций.

C

Математического института им. В. А. Стеклова. В 1941 году
после защиты докторской диссертации «Структура изоморфно представимых бесконечных алгебр и групп» он становится старшим научным сотрудником этого института.

В 1946 году получает Сталинскую премию 2-й степени за работы в области теории групп.

В

Академии Наук СССР
.

В 1956 году за выдающиеся заслуги в области науки Мальцеву присвоено звание Заслуженного деятеля науки РСФСР.

В 1958 году академик М. А. Лаврентьев приглашает Мальцева на работу в Сибирский научный центр. В том же году избран действительным членом Академии наук СССР.

В

Института математики СО АН СССР
, а также заведует кафедрой алгебры и математической логики механико-математического факультета НГУ.

В 1964 году Мальцеву присуждена Ленинская премия за цикл работ по приложению математической логики к алгебре и теории моделей. В 1967 году награждён орденом Ленина.

В ночь на 7 июля 1967 года Анатолий Иванович Мальцев скоропостижно скончался. Похоронен на

Южном кладбище Новосибирска[8]
.

Политическая деятельность

В 1947, 1950 и 1953 годах Мальцев был депутатом Ивановского областного Совета, а с 1951 по 1955 год — депутатом Верховного Совета СССР.

Семья

В 1931 году Мальцев женился на своей сокурснице Наталье Петровне Гостик (1910—2009, окончила МГУ в 1931 году, в 1960—1966 годах работала в НГУ, старший преподаватель кафедры геометрии)[9].

Научный вклад

В 1936 году Мальцев доказал одну из основополагающих теорем математической логики, известную как локальная теорема Мальцева или принцип локализации Мальцева. Эта работа заложила основу для дальнейших исследований в области математической логики и ее приложений в алгебре[10].

Мальцев разработал метод "описания моделей", который нашел широкое применение в исследованиях, связывающих математическую логику и алгебраические теории. На основе принципа локализации он создал метод получения локальных теорем в теории алгебраических систем, включая группы и кольца. Применение этого метода позволило решить ряд актуальных проблем в алгебре, что стало неожиданностью для многих математиков того времени[10].

В последние годы своей научной карьеры Мальцев сосредоточился на алгоритмических вопросах алгебры, ставших особенно актуальными с развитием вычислительной техники. Он разработал алгоритм для машинного доказательства целого класса алгебраических теорем. Кроме того, Мальцев доказал отсутствие универсального алгоритма для доказательства всех теорем теории конечных групп, записываемых на языке математической логики, решив тем самым проблему, обсуждавшуюся в научном сообществе на протяжении 25 лет[10].

Научная деятельность Мальцева не ограничивалась теоретическими исследованиями. Он основал влиятельные математические школы в Иванове и Новосибирске, сочетая научную работу с педагогической и общественной деятельностью. Его вклад в науку был высоко оценен: цикл работ Мальцева по приложениям математической логики к алгебре и теории моделей был выдвинут на соискание Ленинской премии в 1964 году[10].

Признание и память

  • 1953
    )
  • 1946
    )
  • 1948
    )
  • 1956
    )
  • 1964
    )
  • 1967
    ).

Именем А. И. Мальцева названы

Институте математики СО РАН проходит конференция «Мальцевские чтения»[12]
.

Некоторые публикации

  • Основы линейной алгебры. — М.-Л.: Гостехиздат, 1948. — 423 c.
  • Основы линейной алгебры. — Изд. 2-е, перераб. М.: Гостехиздат, 1956. — 340 c.
  • Foundations of linear algebra. — Transl. from Russian by Т. С. Brown. San Francisco — London, W. H. Freeman and Co., 1963. — Имеются пер. на япон. и кит. яз.
  • Рекурсивные функции. — Ротапринт., Новосибирск, 1960. — 39 c.
  • Некоторые вопросы современной теории классов моделей. — Ротапринт., Новосибирск, 1961. — 61 c.
  • Алгоритмы и рекурсивные функции. — М.: «Наука», 1965. — 391 c.
  • Алгебраические системы. — М.: «Наука», 1970. — 392 c.
  • Основы линейной алгебры. — Изд. 3-е, перераб., М.: «Наука», 1970. — 400 c.
  • The metamathematics of algebraic systems. Collected papers: 1936—1967. — Amsterdam, 1971. — 494 p. — (Studies in logic and the foundations of mathematics. V. 66.)

Галерея

  • Мемориальная доска в Новосибирске
    Мемориальная доска в Новосибирске
  • Бюст А. И. Мальцева в Институте математики (Новосибирск)
    Бюст А. И. Мальцева в Институте математики (Новосибирск)
  • Мемориальная доска в Иваново
    Мемориальная доска в Иваново
  • Улица Мальцева в Новосибирске
    Улица Мальцева в Новосибирске
  • могила А. И. Мальцева на Южном кладбище
    могила А. И. Мальцева на Южном кладбище

Примечания

  1. ↑ Ныне Шатурский район Московской области
  2. ↑ http://mi.mathnet.ru/zvmmf4956 — С. 1875.
  3. ↑ https://books.google.cat/books?id=EVTpCgAAQBAJ — С. 238.
  4. ↑ https://books.google.cat/books?id=vFHVCgAAQBAJ — С. 559.
  5. ↑
    Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — М.: Советская энциклопедия
    , 1969.
  6. ↑ Архив по истории математики Мактьютор — 1994.
  7. ↑ Анатолий Иванович Мальцев (к столетию со дня рождения) : [арх. 29 мая 2022] // Владикавказский математический журнал. — 2009. — Т. 11, вып. 4.
  8. ↑ Г. И. Марчук на открытии памятника на могиле А. И. Мальцева. Дата обращения: 8 декабря 2014. Архивировано 4 марта 2016 года.
  9. ↑ Выпускники МГУ в СО РАН. Дата обращения: 16 мая 2014. Архивировано 7 мая 2014 года.
  10. ↑ 1 2 3 4 Гайнов А. Методы математической логики в современной алгебре // За науку в Сибири. — 1964. — 13 января (№ 2). — С. 4.
  11. ↑ Краткая биография Мальцева в виртуальном музее НГУ. Дата обращения: 1 апреля 2015. Архивировано 2 апреля 2015 года.
  12. ↑ Мальцевские чтения. Дата обращения: 23 июля 2009. Архивировано 2 апреля 2015 года.

Ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Мальцев,_Анатолий_Иванович&oldid=138588400