Беклемишев Лев Дмитриевич
- Начал работать в НИУ ВШЭ в 2011 году.
- Научно-педагогический стаж: 30 лет.
Образование, учёные степени и учёные звания
- 2019Академик РАН
- 2006Член-корреспондент РАН
- 1998Доктор физико-математических наук
- 1992Кандидат физико-математических наук
- 1989
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика», квалификация «математика»
Научные интересы
Математическая логика, теория доказательств, формальная арифметика, логика доказуемости, модальная логика
Достижения и поощрения
Лауреат премии "Золотая Вышка" – 2019 в номинации Достижения в науке
Надбавка за публикацию в международном рецензируемом научном издании (2021-2022, 2019-2020, 2018-2019)
Надбавка за статью в зарубежном рецензируемом журнале (2014-2016, 2012-2014)
Надбавка за статью в зарубежном рецензируемом научном издании (2016-2017)
Учебные курсы (2021/2022 уч. год)
- Научно - исследовательский семинар (Аспирантура; 3-й курс, 2 семестр)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2020/2021 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2018/2019 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 4 модуль)Рус
- Математический практикум (Бакалавриат; где читается: Факультет математики; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар (Аспирантура; 2-й курс, 1 семестр)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2017/2018 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Участие в редколлегиях научных журналов
Член исполнительного комитета Ассоциации символической логики (ASL)
Член экспертного совета ВАК
С 2020 г.: член редколлегии журнала «Journal of Symbolic Logic».
С 2008 г.: член редколлегии журнала «Archive for Mathematical Logic».
С 2008 г.: член редколлегии журнала «Известия Российской академии наук. Серия математическая».
Конференции
- 2017
Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Доклад: Reflection calculus and conservativity spectra
Workshop on Logic, Language, Information and Computation (Лондон). Доклад: On the Reflection Calculus with Partial Conservativity Operators
Mathematical Logic: Proof Theory and Constructive Mathematics. Oberwolfach workshop (Oberwolfach). Доклад: "On provable 1-provability" (joint work with E. Kolmakov)
Публикации41
- Препринт Beklemishev L. D., Dmitrieva A., Makowsky J. Axiomatizing Origami Planes / Cornell University. Series arXiv "math". 2021.
- Статья Беклемишев Л. Д., Атабекян В. С., Губа В. С., Семенов А. Л., Разборов А. А., Лысенок И. Г. Вопросы алгебры и математической логики. Научное наследие С. И. Адяна // Успехи математических наук. 2021. Т. 76. № 1. С. 3-30. doi
- Статья Kolmakov E., Beklemishev L. D. Axiomatization of provable n-provability // Journal of Symbolic Logic. 2019. Vol. Volume 84. No. Issue 2. P. 849-869. doi
- Статья Адян С. И., Андреев Н. Н., Беклемишев Л. Д., Гончаров С. С., Ершов Ю. Л., Матиясевич Ю. В., Осипов Ю. С., Пентус М. Р., Плунгян В. А., Рахилина Е. В., Садовничий В. А., Семёнов А. Л., Татевосов С. Г., Тихомиров В. М., Шень А. Х. Владимир Андреевич Успенский (27.11.1930–27.06.2018) // Успехи математических наук. 2019. Т. 74. № 4(448). С. 165-180. doi
- Глава книги Beklemishev L. D. A Note on Strictly Positive Logics and Word Rewriting Systems, in: Larisa Maksimova on Implication, Interpolation, and Definability. Cham : Springer, 2018. doi P. 61-70. doi
- Статья Berger G., Beklemishev L. D., Tompits H. A many-sorted variant of Japaridze's polymodal provability logic // Logic Journal of the IGPL. 2018. Vol. 26. No. 5. P. 505-538. doi
- Статья Beklemishev L. D., Kolmakov E. Axiomatizing Provable n-Provability // Doklady Mathematics. 2018. Vol. 98. No. 3. P. 582-585. doi
- Статья Беклемишев Л. Д. Исчисление для схем рефлексии и спектры консервативности // Успехи математических наук. 2018. Т. 74. № 4. С. 3-52. doi
- Статья Beklemishev L. D. On the Reduction Property for GLP-Algebras / Пер. с рус. // Doklady Mathematics. 2017. Vol. 95. No. 1. P. 50-54. doi
- Глава книги Beklemishev L. D. On the Reflection Calculus with Partial Conservativity Operators, in: Logic, Language, Information, and Computation. WoLLIC 2017. Lecture Notes in Computer Science Vol. 10388: Lecture Notes in Computer Science. Berlin : Springer, 2017. doi P. 48-67. doi
- Препринт Beklemishev L. D. Reflection calculus and conservativity spectra / Cornell University. Series arXiv "math". 2017.
- Статья Беклемишев Л. Д. О свойстве редукции для GLP-алгебр // Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2017. Т. 472. № 4. С. 378-382. doi
- Книга Advances in Modal Logic / Ed. by L. D. Beklemishev, S. Demri, A. Mate. Vol. 11. L. : College Publications, 2016.
- Книга Advances in Modal Logic / Ed. by L. D. Beklemishev, S. Demri, A. Máté. Vol. 11. College Publications, 2016.
- Статья L. Beklemishev, Flaminio T. Franco Montagna’s Work on Provability Logic and Many-valued Logic // Studia Logica. 2016. Vol. 104. No. 1. P. 1-46. doi
- Препринт Berger G., Beklemishev L. D., Tompits H. Gerald Berger, Lev D. Beklemishev, Hans Tompits. A many-sorted variant of Japaridze's polymodal provability logic, Jan 2016, 15 pp., ArXiv: 1601.02857. / Cornell University. Series math "arxiv.org". 2016. No. 1601.02857.
- Препринт Lev Beklemishev, Shamkanov D. Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016. / Cornell University. Series math "arxiv.org". 2016. No. 1602.05728.
- Глава книги Beklemishev L. D., Shamkanov D. S. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, in: Liber Amicorum Alberti. A Tribute to Albert Visser. L. : College Publications, 2016. P. 15-29.
- Препринт Beklemishev L. D. L. D. Beklemishev, A note on strictly positive logics and word rewriting systems, June 2015, ArXiv: 1509.00666. / Cornell University. Series math "arxiv.org". 2015. No. 1509.00666.
- Глава книги Beklemishev L. D. Proof-theoretic analysis by iterated reflection, in: Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015. Basel : Birkhauser/Springer, 2015. doi P. 225-270. doi
- Статья Беклемишев Л. Д., Оноприенко А. А. О некоторых медленно сходящихся системах преобразований термов // Математический сборник. 2015. Т. 206. № 9. С. 3-20. doi
- Статья Беклемишев Л. Д., Оноприенко А. А. О некоторых медленно сходящихся системах преобразований термов // Математический сборник. 2015. № 9. С. 3-20. doi
- Статья Beklemishev L. D., Fernandez-Duque D., Joosten J. J. On provability logics with linearly ordered modalities // Studia Logica. 2014. Vol. 102. No. 3. P. 541-566. doi
- Статья Lev D. Beklemishev. Positive provability logic for uniform reflection principles // Annals of Pure and Applied Logic. 2014. Vol. 165. No. 1. P. 82-105. doi
- Статья Beklemishev L. D., Gurevich Y. Propositional primal logic with disjunction // Journal of Logic and Computation. 2014. Vol. 24. No. 1. P. 257-282. doi
- Препринт Beklemishev L. D. Positive provability logic for uniform reflection principles / Cornell University. Series math "arxiv.org". 2013. No. arXiv:1304.4396.
- Статья Beklemishev L. D., Gabelaia D. Topological completeness of the provability logic GLP // Annals of Pure and Applied Logic. 2013. Vol. 164. No. 12. P. 1201-1223. doi
- Глава книги Beklemishev L. D. Calibrating Provability Logic: From Modal Logic to Re ection Calculus, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 89-94.
- Препринт Beklemishev L. D., Fernandez D., Joosten J. On provability logics with linearly ordered modalities / Cornell University. Series math "arxiv.org". 2012.
- Препринт Beklemishev L. D., Gabelaia D. Topological interpretations of provability logic. / Cornell University. Series math "arxiv.org". 2012. No. ArXiv:1210.7317 .
- Книга Beklemishev L. D., Queiroz R. d. Logic, Language, Information, and Computation/2011 Vol. 6642. NY : Springer, 2011.
- Препринт Beklemishev L. D., Gurevich Y. Propositional primal logic with disjunction / Microsoft Research. Series MSR-TR "Microsoft Research Technical Report". 2011. No. 2011-35.
- Книга Special Issue: Logical Models of Reasoning and Computation / Ed. by S. Adian, L. D. Beklemishev, A. Visser. Vol. 21 (4). Oxford: Oxford University Press. Journal of Logic and Computation, 2011.
- Книга Алгоритмические вопросы алгебры и логики. К 80-летию со дня рождения академика С.И. Адяна / Под общ. ред.: Е. Ф. Мищенко, Л. Д. Беклемишев. Т. 274. М. : МАИК, 2011.
- Статья Беклемишев Л. Д. Упрощенное доказательство теоремы об арифметической полноте для логики доказуемости GLP // Труды Математического института им. В.А. Стеклова РАН. 2011. Т. 247
- Статья Beklemishev L. D. Kripke semanics for provability logic GLP // Annals of Pure and Applied Logic. 2010. Vol. 161. No. 6. P. 756-774.
- Статья Беклемишев Л. Д. Теоремы Гёделя о неполноте и границы их применимости // Успехи математических наук. 2010. № 5 . С. 61-104.
- Глава книги Beklemishev L. D. Ordinal completeness of bimodal provability logic GLB, in: Logic, Language, and Computation/2009. Tbilisi : Springer, 2009. P. 1-15.
- Статья Beklemishev L. D. Representing Worms as a term rewriting system // Oberwolfach Reports. 2006. No. 52. P. 7-9.
Информация*
- Общий стаж: 30 лет
- Научно-педагогический стаж: 30 лет
- Преподавательский стаж: 11 лет
Текущие научно-исследовательские гранты
1) Новые виды формальных доказательств и их представления, РНФ-FWF 20-41-05002, 2020-2022;
2) Проблемы вычислимости, доказуемости и полноты в логике и алгебре, РНФ 21-11-00318, 2021-2023;
3) Доказательства и модели, 21-04-027, по конкурсу исследовательских проектов научно-учебных групп программы «Научный фонд НИУ ВШЭ» (НУГ), 2021-22.
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
‘A Good Thing about Mathematical Thinking Is That It Knocks Some Sense into Your Brain’
HSE University maintains active cooperation with the Academy of Science institutes, which open joint departments at the university and provide their best experts for teaching and research. HSE News Service talked to Deputy Directors of the RAS Steklov Mathematical Institute (MIRAS) — RAS member Lev Beklemishev andSergey Gorchinskiy — about the development of mathematics in the modern world, career opportunities for graduates in mathematics, and the specifics of researchers’ work with students.
«Математическая культура мышления хороша тем, что, образно говоря, вправляет мозги»
НИУ ВШЭ активно сотрудничает с академическими институтами, которые открывают в университете базовые кафедры и направляют лучших специалистов для преподавания и научной работы. Новостная служба портала расспросила заместителей директора Математического института имени В.А. Стеклова РАН — академика РАН Льва Беклемишева и Сергея Горчинского о развитии математики в современном мире, о возможностях карьеры для выпускников математических факультетов и об особенностях работы ученых со студентами.
«Российские ученые вносят огромный вклад в математическую науку и образование»
Эдмонд Ли, профессор Департамента математики в Юго-Восточном Университете Нова (США), недавно защитил диссертацию на соискание ученой степени доктора наук в московском кампусе ВШЭ. Защита состоялась с использованием платформы Zoom, а участники подключались из пяти городов в Бразилии, Израиле, России и США. Профессор Ли стал первым иностранным соискателем докторской степени НИУ ВШЭ. Как это случилось, он поделился с порталом НИУ ВШЭ.
First International Recipient of DSc Degree in Mathematics From HSE University
Edmond W.H. Lee, a full professor at the Department of Mathematics, Nova Southeastern University, USA, has recently defended his Doctor of Sciences (DSc) thesis at the Dissertation Council in Mathematics, HSE University. The DSc in Russia is a higher doctoral degree that can be earned after the PhD. Professor Lee’s defence was held over Zoom, with the candidate and his dissertation committee members participating remotely from 5 cities in Brazil, Israel, Russia, and the USA. Lee became the first international recipient of a DSc degree in Mathematics from HSE University.
Сотрудники ВШЭ избраны академиками и членами-корреспондентами РАН
Объявлены результаты выборов в Российскую академию наук, состоявшихся на общем собрании 14-15 ноября. Среди новых академиков и членов-корреспондентов РАН — восемь сотрудников Вышки.
Trends in Logic19
2-4 октября 2019 года в Национальном исследовательском университете Высшая школа экономики прошла международная конференция Trends in Logic 19. Current Issues in Philosophical Logic , организованная журналом Studia Logica и Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
HSE University Brings Major Conference in Philosophical Logic to Russia for the First Time
On October 2-4, HSE University hosted the international conference Trends in Logic 19. Current Issues in Philosophical Logic for the first time in Russia. The conference, which attracted a number of prominent Russian and international scholars, was organized jointly by the journal Studia Logica and the HSE International Laboratory for Logic, Linguistics and Formal Philosophy.
13th International Conference on Concept Lattices and Their Applications
On July 18-22 the 13th International Conference on Concept Lattices and Their Applications was held at HSE. The conference has been organized since 2002. This year it was held in Russia for the first time. The event was organized by the International Laboratory for Intelligent Systems and Structural Analysis and the School of Data Analysis and Artificial Intelligence of HSE Faculty of Computer Science.
CSR 2015
13-17 июля прошла 10-я международная конференция CSR 2015 – Computer Science in Russia. Эта крупнейшая в России конференция по теоретической информатике была организована при поддержке Иркутского государственного университета, НИУ ВШЭ и компании «Яндекс». В качестве приглашенного докладчика в конференции принял участие доцент Владимир Подольский. Также с докладом выступил доцент Максим Бабенко.
Яндекс и Высшая школа экономики проведут Всероссийскую контрольную по математике
14 марта впервые в России пройдет Всероссийская математическая контрольная, которую организует компания Яндекс при поддержке Высшей школы экономики. Решить набор несложных задач по математике все желающие смогут на сайте.