Larissa Lvovna Maximova

from Wikipedia, the free encyclopedia

Larissa Lwowna Maximowa ( Russian Лариса Львовна Максимова ; born November 5, 1943 in Kotschenjowo ) is a Soviet - Russian mathematical logician and university professor .

Life

Maximowas parents were biologists who during the Soviet German War the State University of Tomsk had left and then geographer at the Pedagogical Institute Novosibirsk were.

Maximova studied mathematics at the mechanics -Mathematik- Faculty of Novosibirsk State University (NGU) with completion in 1965. Their first work on Wilhelm Ackermann's axioms for strict implications in a relevance logic appeared in 1964. After postgraduate at Anatoly Maltsev defended it in 1968 at the NGU with success her dissertation on logical calculations of the strict implication for the doctorate to the candidate of physical- mathematical sciences.

Maximova has been working at the Sobolev Institute of Mathematics of the Siberian Department (SO) of the Academy of Sciences of the USSR (AN-SSSR, since 1991 Russian Academy of Sciences (RAN)) in Novosibirsk since 1964. In 1986 she successfully defended her doctoral thesis on allowed properties of superintuitive and modal logics for the doctorate to the doctorate in physical-mathematical sciences.

In addition to her research, Maximowa has been teaching at the NGU since 1965. In 1972 she became a lecturer and in 1993 professor at the Chair of Algebra and Mathematical Logic . She has lectured at King's College London , Uppsala University and the Japan Advanced Institute of Science and Technology.

Honors, prizes

  • Malzew Prize of the RAN (2009)
  • Government Award of the Russian Federation in Education (2010)

Web links

Individual evidence

  1. ↑ a b c Maksimova, Larisa: A short scientific autobiography . In: Larisa Maksimova on Implication, Interpolation, and Definability . Springer , 2018, ISBN 978-3-319-69916-5 , pp. 21-32 , doi : 10.1007 / 978-3-319-69917-2_2 .
  2. ↑ a b c d Максимова Лариса Львовна . In: Professora NGU Mechaniko-matematicheski facultet . 2016, p. 310–311 ( [1] [PDF; accessed August 8, 2020]).
  3. ↑ Максимова, Лариса Львовна: Логические исчисления строгой импликации: диссертация ... кандидата физико-математических наук: 1:00:00 . Novosibirsk 1968.
  4. ↑ Максимова, Лариса Львовна: Разрешимые свойства суперинтуиционистских и модальных логик: диссертация ... доктора физико-математических наук 01/01/06 . Novosibirsk 1983.
  5. ↑ RAN: Премия имени А.И. Мальцева (accessed August 8, 2020).
personal data
SURNAME Maximowa, Larissa Lvovna
ALTERNATIVE NAMES Максимова, Лариса Львовна (Russian)
BRIEF DESCRIPTION Soviet-Russian mathematical logician and university professor
DATE OF BIRTH November 5, 1943
PLACE OF BIRTH Kotschenjowo