Larisa Maksimova

Larisa Lvovna Maksimova ( Russian : Лариса Львовна Максимова ; born 1943) is a Russian mathematical logician known for her research in non-classical logic .

Образование и карьера

Максимова родилась 5 ноября 1943 года в Коченёво в семье двух биологов, временно переехавших туда из Томского государственного университета, спасаясь от войны. Она выросла в Новосибирске , где ее родители стали географами в Новосибирском пединституте. Она изучала механику и математику в Новосибирском государственном университете , опубликовала свою первую статью об Вильгельма Аккермана для аксиомах строгой импликации в логике релевантности в 1964 году и окончила университет в 1965 году. ^[1]

Тем временем в 1964 году она поступила в Математический институт им . Соболева и осталась там до конца своей карьеры. Докторскую степень защитила в Новосибирском государственном университете в 1968 году, через год после смерти своего основного наставника в университете Анатолия Мальцева . В 1986 году она закончила абилитацию в Институте Соболева, а в 1993 году получила звание профессора. ^[1]

Признание

Максимова стала лауреатом Мальцевской премии РАН в 2009 году за работы по определимости и интерполяции в неклассической логике . ^[2]Вместе с несколькими другими сотрудниками Института Соболева она выиграла Премию Правительства Российской Федерации в области образования в 2010 году. ^[3]Ей посвящена праздничная статья « Лариса Максимова об импликации, интерполяции и определимости» (ред. Сергея Одинцова, Springer, 2018).

Книги

Maksimova's books include

Проблемы теории множеств, математической логики и теории алгоритмов (совместно с Игорем Лавровым, Издат Наука, 1975, 1984 и 1995; перевод на английский Валентин Шехтман, Kluwer, 2003) ^[4]
Интерполяция и определимость: модальная и интуиционистская логика (совместно с Довом Габбаем , Clarendon Press, 2005) ^[5]

Ссылки

↑ Перейти обратно: Перейти обратно: ^а ^б Максимова, Лариса (2018), «Краткая научная автобиография» , Одинцов, Сергей (ред.), Лариса Максимова об импликации, интерполяции и определяемости , Springer, стр. 21–32, doi : 10.1007/978-3-319 -69917-2_2
^ Премия имени А.И. Мальцева [ Prize named after A. I. Maltsev ] (in Russian), Russian Academy of Sciences , retrieved 2018-11-07
^ премий Лауреаты Института математики им. Соболева , дата обращения 07.11.2018.
^
Обзоры задач по теории множеств, математической логике и теории алгоритмов :
- Болдуин, Джон Т. (июнь 2004 г.), Бюллетень символической логики , 10 (2): 222–223, doi : 10.1017/s1079898600004005 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
- Мендельсон, Эллиотт (апрель 2005 г.), Studia Logica , 79 (3): 409–410, doi : 10.1007/s11225-005-3613-8 , JSTOR 20016698 , S2CID 41652534 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
- Палка, Ева (ноябрь 2005 г.), Studia Logica , 81 (2): 283–285, doi : 10.1007/s11225-005-3707-3 , JSTOR 20016745 , S2CID 5956691 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
^
Обзор интерполяции и определимости :
- Плоткин, Дж. М. (2006), Математические обзоры , doi : 10.1093/acprof:oso/9780198511748.001.0001 , ISBN 9780198511748 , МР 2153890 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )

[autobio-1] Перейти обратно: Перейти обратно: ^а ^б Максимова, Лариса (2018), «Краткая научная автобиография» , Одинцов, Сергей (ред.), Лариса Максимова об импликации, интерполяции и определяемости , Springer, стр. 21–32, doi : 10.1007/978-3-319 -69917-2_2

[mp-2] Премия имени А.И. Мальцева [ Prize named after A. I. Maltsev ] (in Russian), Russian Academy of Sciences , retrieved 2018-11-07

[si-3] премий Лауреаты Института математики им. Соболева , дата обращения 07.11.2018.

[pst-4] Обзоры задач по теории множеств, математической логике и теории алгоритмов :
Болдуин, Джон Т. (июнь 2004 г.), Бюллетень символической логики , 10 (2): 222–223, doi : 10.1017/s1079898600004005 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
Мендельсон, Эллиотт (апрель 2005 г.), Studia Logica , 79 (3): 409–410, doi : 10.1007/s11225-005-3613-8 , JSTOR 20016698 , S2CID 41652534 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )
Палка, Ева (ноябрь 2005 г.), Studia Logica , 81 (2): 283–285, doi : 10.1007/s11225-005-3707-3 , JSTOR 20016745 , S2CID 5956691 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )

[5] Болдуин, Джон Т. (июнь 2004 г.), Бюллетень символической логики , 10 (2): 222–223, doi : 10.1017/s1079898600004005 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )

[6] Мендельсон, Эллиотт (апрель 2005 г.), Studia Logica , 79 (3): 409–410, doi : 10.1007/s11225-005-3613-8 , JSTOR 20016698 , S2CID 41652534 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )

[7] Палка, Ева (ноябрь 2005 г.), Studia Logica , 81 (2): 283–285, doi : 10.1007/s11225-005-3707-3 , JSTOR 20016745 , S2CID 5956691 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )

[id-5] Обзор интерполяции и определимости :
Плоткин, Дж. М. (2006), Математические обзоры , doi : 10.1093/acprof:oso/9780198511748.001.0001 , ISBN 9780198511748 , МР 2153890 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )

[9] Плоткин, Дж. М. (2006), Математические обзоры , doi : 10.1093/acprof:oso/9780198511748.001.0001 , ISBN 9780198511748 , МР 2153890 {{citation}}: CS1 maint: периодическое издание без названия ( ссылка )

[1]

[2]

[3]

[4]

[5]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БнФ Германия Соединенные Штаты Нидерланды Польша
академики	MathSciNet Проект математической генеалогии zbMATH
Другой	ИдРеф