Beklemișev, Lev Dmitrievici

Lev Dmitrievich Beklemishev (n . 17 septembrie 1967 , Moscova ) este un matematician rus , doctor în științe fizice și matematice (1998), academician al Academiei Ruse de Științe (2019), specialist în domeniul logicii matematice .

Biografie

Născut la 17 septembrie 1967 la Moscova în familia profesorilor MIPT D. V. Beklemisheva și L. A. Beklemisheva . Nepotul academicienilor A. I. Maltsev și V. N. Beklemishev .

În 1989 a absolvit Departamentul de Logică Matematică și Teoria Algoritmilor a Facultății de Mecanică și Matematică a Universității de Stat din Moscova [2] .

În 1989-1992 a studiat la cursul postuniversitar al Institutului de Matematică. V. A. Academia de Științe Steklov a URSS (MIAN) [3] . În 1992 și-a susținut teza de doctorat pe tema: „Clasificarea logicilor de demonstrabilitate propozițională”. În 1998 și-a susținut teza de doctorat pe tema: „Scheme de reflecție în aritmetică formală”.

Din 1992, este membru al MIAN [3] .

În 2000-2005 a lucrat la Universitatea din Utrecht . Din 2004 - Profesor al Departamentului de Logica Matematică și Teoria Algoritmilor, Universitatea de Stat din Moscova [2] .

Din 2018, director adjunct pentru cercetare și cercetător șef la Institutul de Științe din Moscova, predă în același timp matematică la:

• Facultatea de Matematică, Universitatea Națională de Cercetare Școala Superioară de Economie [3] ;
• Departamentul de Logică Matematică și Teoria Algoritmilor, Facultatea de Mecanică și Matematică, Universitatea de Stat din Moscova.

Premii și premii

• 1994 - câștigător al Premiului Societății de Matematică din Moscova pentru tineri oameni de știință pentru lucrarea „Despre clasificarea logicii demonstrabilității propoziționale”.
• 1998 - Câștigător al Bursei Humboldt .

Apartenența la organizații

• Membru al Comitetului European al Asociației pentru Logică Simbolică (ASL).
• 2006 - Membru corespondent al Academiei Ruse de Științe în cadrul Departamentului de Științe Matematice .

Note

1. ↑ 1 2 Genealogie matematică  (engleză) - 1997.
2. ↑ 1 2 Analele Universității de Stat din Moscova: Lev Dmitrievich Beklemishev .
3. ↑ 1 2 3 Site-ul HSE: Lev Dmitrievich Beklemishev .

Link -uri

• Profilul lui Lev Dmitrievich Beklemishev pe site-ul oficial al Academiei Ruse de Științe
• Pagina de pe site-ul MIAN .
• Lev Dmitrievici Beklemișev . NRU HSE . Data accesului: 16 noiembrie 2020. (nedefinit)
• Lev Dmitrievici Beklemișev . Cronica Universității de Stat din Moscova . Data accesului: 16 noiembrie 2020. (nedefinit)

Site-uri tematice	Google Academic Genealogie matematică ORCID Scopus zbMATH Deschide Portal de matematică integral rusesc
În cataloagele bibliografice BIBSYS: 99059925 GND : 1024952835 ISNI : 0000 0000 3400 9776 J9U : 987007568519005171 LCCN : n99015577 NTA : 12783821X NUKAT : n2011054142 SUDOC : 152565302 VIAF : 60871940 WorldCat VIAF : 60871940