Larisa Maksimová - Larisa Maksimova
Larisa Lvovna Maksimova (ruština: Лариса Львовна Максимова, narozen 1943) je Rus matematický logik známý pro svůj výzkum v neklasická logika.
Vzdělání a kariéra
Maksimova se narodila 5. listopadu 1943 poblíž Novosibirsk, dcera dvou biologů, kteří se tam dočasně přestěhovali Tomská státní univerzita uniknout z války. Vyrůstala v Novosibirsku, kde se její rodiče stali geografy v Novosibirském pedagogickém institutu. Vystudovala mechaniku a matematiku na Novosibirská státní univerzita, publikování své první práce na Wilhelm Ackermann axiomy pro přísná implikace v logika relevance v roce 1964 a promoval v roce 1965.[1]
Mezitím v roce 1964 nastoupila do Sobolevův matematický ústav, a zůstal tam po zbytek své kariéry. V roce 1968 obdržela doktorát na Státní univerzitě v Novosibirsku, rok po smrti jejího hlavního mentora na univerzitě, Anatoly Maltsev. Absolvovala a habilitace v Sobolevově institutu v roce 1986 a v roce 1993 byl povýšen na řádného profesora.[1]
Příspěvky
Mezi knihy Maksimovy patří
- Problémy v teorii množin, matematické logice a teorii algoritmů (s Igorem Lavrovem, Izdat Nauka, 1975, 1984 a 1995; do angličtiny přeložil Valentin Shehtman, Kluwer, 2003)[2]
- Interpolace a definovatelnost: modální a intuitivní logika (s Dov Gabbay, Clarendon Press, 2005)[3]
Uznání
Maksimova získala Maltsevovu cenu Ruská akademie věd v roce 2009, za její práce na definovatelnost a interpolace v neklasická logika.[4]S několika dalšími ze Sobolevova institutu získala v roce 2010 Cenu vlády Ruské federace za vzdělávání.[5]Je předmětem a slavnostní svátek, Larisa Maksimova o implikaci, interpolaci a definovatelnosti (Sergei Odintsov, ed., Springer, 2018).
Reference
- ^ A b Maksimova, Larisa (2018), „Krátká vědecká autobiografie“, v Odintsově, Sergej (ed.), Larisa Maksimova o implikaci, interpolaci a definovatelnosti, Springer, str. 21–32, doi:10.1007/978-3-319-69917-2_2
- ^ Recenze Problémy v teorii množin, matematické logice a teorii algoritmů:
- Baldwin, John T. (červen 2004), Bulletin of Symbolic Logic, 10 (2): 222–223, doi:10.1017 / s1079898600004005CS1 maint: periodikum bez názvu (odkaz)
- Mendelson, Elliott (duben 2005), Studia Logica, 79 (3): 409–410, doi:10.1007 / s11225-005-3613-8, JSTOR 20016698, S2CID 41652534CS1 maint: periodikum bez názvu (odkaz)
- Palka, Ewa (listopad 2005), Studia Logica, 81 (2): 283–285, doi:10.1007 / s11225-005-3707-3, JSTOR 20016745, S2CID 5956691CS1 maint: periodikum bez názvu (odkaz)
- ^ Recenze Interpolace a definovatelnost:
- Plotkin, J. M. (2006), Matematické recenze, doi:10.1093 / acprof: oso / 9780198511748.001.0001, ISBN 9780198511748, PAN 2153890CS1 maint: periodikum bez názvu (odkaz)
- ^ Премия имени А.И. Мальцева [Cena pojmenovaná po A. I. Maltsevovi] (v Rusku), Ruská akademie věd, vyvoláno 2018-11-07
- ^ Vítězové ocenění, Sobolevův matematický ústav, vyvoláno 2018-11-07
