Лариса Львовна Максимова ( русский : Лариса Львовна Максимова , 1943 г.р.) - русский математический логик, известный своими исследованиями в неклассической логике .
Образование и карьера [ править ]
Максимова родилась 5 ноября 1943 года под Новосибирском , дочь двух биологов, временно приехавших сюда из Томского государственного университета, спасаясь от войны. Она выросла в Новосибирске, где ее родители стали географами в Новосибирском педагогическом институте. Она изучала механику и математику в Новосибирском государственном университете , публикуя свой первый документ о Wilhelm Ackermann аксиом «s для строгой импликации в релевантных логиках в 1964 году и окончила в 1965 г. [1]
Тем временем в 1964 году она поступила в Математический институт им. Соболева и оставалась там до конца своей карьеры. Она защитила докторскую диссертацию в Новосибирском государственном университете в 1968 году, через год после смерти ее основного наставника в университете Анатолия Мальцева . В 1986 году она получила абилитацию в Соболевском институте, а в 1993 году стала профессором. [1]
Вклады [ править ]
Книги Максимовой включают
- Проблемы теории множеств, математической логики и теории алгоритмов (совместно с Игорем Лавровым, Издательство «Наука», 1975, 1984 и 1995 гг .; перевод на английский язык Валентином Шехтманом, Kluwer, 2003 г.) [2]
- Интерполяция и определяемость: модальная и интуиционистская логика (совместно с Довом Габбаем , Clarendon Press, 2005) [3]
Признание [ править ]
Максимова получила Мальцевскую премию Российской академии наук в 2009 г. за работы по определимости и интерполяции в неклассической логике . [4] С несколькими другими из Института Соболева, она получила премии Правительства Российской Федерации в области образования в 2010 году [5] Она является предметом Festschrift , Лариса Максимова на импликации, Интерполяция и Определимость (Сергей Одинцов, под ред. Springer, 2018).
Ссылки [ править ]
- ^ a b Максимова, Лариса (2018), «Краткая научная автобиография» , в Одинцов, Сергей (редактор), Лариса Максимова о последствиях, интерполяции и определимости , Springer, стр. 21–32, doi : 10.1007 / 978- 3-319-69917-2_2
- ^ Обзоры проблем теории множеств, математической логики и теории алгоритмов :
- Болдуин, Джон Т. (июнь 2004), Бюллетень символической логики , 10 (2): 222-223, DOI : 10,1017 / s1079898600004005CS1 maint: untitled periodical (link)
- Мендельсон, Эллиот (апрель 2005), Studia Logica , 79 (3): 409-410, DOI : 10.1007 / s11225-005-3613-8 , JSTOR 20016698 , S2CID 41652534CS1 maint: untitled periodical (link)
- Палка, Эва (ноябрь 2005 г.), Studia Logica , 81 (2): 283-285, DOI : 10.1007 / s11225-005-3707-3 , JSTOR 20016745 , S2CID 5956691CS1 maint: untitled periodical (link)
- ^ Обзор интерполяции и определимости :
- Плоткин, JM (2006), Mathematical Reviews , DOI : 10.1093 / acprof: oso / 9780198511748.001.0001 , ISBN 9780198511748, Руководство по ремонту 2153890CS1 maint: untitled periodical (link)
- ^ Премия имени А.И. Мальцева [ Премия им. А.И. Мальцева ], Российская академия наук , дата обращения 07.11.2018 CS1 maint: discouraged parameter (link)
- ^ Лауреаты наград , Институт математики им. Соболева , дата обращения 07.11.2018. CS1 maint: discouraged parameter (link)