Лариса Львовна Максимова
(05.11.1943 — 04.04.2025)
4 апреля 2025 года ушла из жизни Лариса Львовна Максимова — очень яркий ученый и замечательный человек. Научную работу в Институте математики им. С. Л. Соболева СО РАН Лариса Львовна начала в 1964 году, а преподавательскую деятельность в Новосибирском государственном университете в 1965 году.
Лариса Львовна была ученицей выдающегося алгебраиста и логика Анатолия Ивановича Мальцева. Соруководителями ее исследовательской работы были Михаил Абрамович Тайцлин (в НГУ) и Николай Васильевич Белякин (в Институте математики). Две проблемы, на которые Анатолий Иванович Мальцев обратил внимание Ларисы Львовны, следующие: 1) исследование релевантной импликации, и 2) применение алгебраических методов к исследованию логических исчислений. Первой проблеме посвящены дипломная работа и кандидатская диссертация Ларисы Львовны, где, в частности, впервые был построена реляционная семантика с тернарным отношением достижимости для логики E релевантного следования. Со второй проблемой связана, в значительной степени, вся научная деятельность Ларисы Львовны. Результатом, принесшим Ларисе Львовне мировую известность (а также неформальный, но почетный титул «Королева интерполяции»), стало описание суперинтуиционистских логик, обладающих интерполяционным свойством Крейга (CIP). После публикации этого результата многие отказывались верить, что среди континуума суперинтуиционистских логик только 8 логик обладают CIP. Доказательство основано на нахождении алгебраического аналога CIP, свойства амальгамируемости, и описании всех многообразий алгебр Гейтинга с данным свойством. Исследование различных вариантов свойств интерполяции и определимости в классах суперинтуиционистских, нормальных модальных, временных и динамических логик, нахождение алгебраических аналогов этих свойств, построение теорий двойственности, проблемы распознавания свойств логики по ее аксиоматизации — таково основное содержание исследований Ларисы Львовны. Методы, разработанные Ларисой Львовной Максимовой, оказали очень значительное влияние на современное состояние исследований в области неклассических логик.
Лариса Львовна также являлась соавтором задачника И.А. Лавров, Л.Л. Максимова, "Задачи по теории множеств, математической логике и теории алгоритмов". Этот великолепный задачник, опубликованный в 1975 году, с тех пор неоднократно переиздавался, переведен на венгерский, английский и польский языки. По нему и сегодня продолжают учиться студенты.
Нам будет очень сильно не хватать знаний и поддержки Ларисы Львовны.
Светлая память.
Прощание с Ларисой Львовной Максимовой состоится 9 апреля с 13.00 до 14.00 по адресу ул. Арбузова, 2г.
(05.11.1943 — 04.04.2025)
4 апреля 2025 года ушла из жизни Лариса Львовна Максимова — очень яркий ученый и замечательный человек. Научную работу в Институте математики им. С. Л. Соболева СО РАН Лариса Львовна начала в 1964 году, а преподавательскую деятельность в Новосибирском государственном университете в 1965 году.
Лариса Львовна была ученицей выдающегося алгебраиста и логика Анатолия Ивановича Мальцева. Соруководителями ее исследовательской работы были Михаил Абрамович Тайцлин (в НГУ) и Николай Васильевич Белякин (в Институте математики). Две проблемы, на которые Анатолий Иванович Мальцев обратил внимание Ларисы Львовны, следующие: 1) исследование релевантной импликации, и 2) применение алгебраических методов к исследованию логических исчислений. Первой проблеме посвящены дипломная работа и кандидатская диссертация Ларисы Львовны, где, в частности, впервые был построена реляционная семантика с тернарным отношением достижимости для логики E релевантного следования. Со второй проблемой связана, в значительной степени, вся научная деятельность Ларисы Львовны. Результатом, принесшим Ларисе Львовне мировую известность (а также неформальный, но почетный титул «Королева интерполяции»), стало описание суперинтуиционистских логик, обладающих интерполяционным свойством Крейга (CIP). После публикации этого результата многие отказывались верить, что среди континуума суперинтуиционистских логик только 8 логик обладают CIP. Доказательство основано на нахождении алгебраического аналога CIP, свойства амальгамируемости, и описании всех многообразий алгебр Гейтинга с данным свойством. Исследование различных вариантов свойств интерполяции и определимости в классах суперинтуиционистских, нормальных модальных, временных и динамических логик, нахождение алгебраических аналогов этих свойств, построение теорий двойственности, проблемы распознавания свойств логики по ее аксиоматизации — таково основное содержание исследований Ларисы Львовны. Методы, разработанные Ларисой Львовной Максимовой, оказали очень значительное влияние на современное состояние исследований в области неклассических логик.
Лариса Львовна также являлась соавтором задачника И.А. Лавров, Л.Л. Максимова, "Задачи по теории множеств, математической логике и теории алгоритмов". Этот великолепный задачник, опубликованный в 1975 году, с тех пор неоднократно переиздавался, переведен на венгерский, английский и польский языки. По нему и сегодня продолжают учиться студенты.
Нам будет очень сильно не хватать знаний и поддержки Ларисы Львовны.
Светлая память.
Прощание с Ларисой Львовной Максимовой состоится 9 апреля с 13.00 до 14.00 по адресу ул. Арбузова, 2г.