Beklemišev, Lev Dmitrijevič
| Lev Dmitrijevič Beklemišev | |
|---|---|
| Datum narození | 17. září 1967 (55 let) |
| Místo narození | Moskva |
| Země |
SSSR Rusko |
| Vědecká sféra | matematika |
| Místo výkonu práce | Matematický ústav Steklov RAS |
| Alma mater | Mekhmat MGU |
| Akademický titul | Doktor fyzikálních a matematických věd |
| Akademický titul | Akademik Ruské akademie věd ( 2019 ) |
| vědecký poradce | Sergej Adjan [1] a Sergej Nikolajevič Arťomov [1] |
Lev Dmitrievich Beklemishev (narozený 17. září 1967 , Moskva ) je ruský matematik , doktor fyzikálních a matematických věd (1998), akademik Ruské akademie věd (2019), specialista v oboru matematické logiky .
Životopis
Narozen 17. září 1967 v Moskvě v rodině učitelů MIPT D. V. Beklemisheva a L. A. Beklemisheva . Vnuk akademiků A. I. Malceva a V. N. Beklemiševa .
V roce 1989 promoval na katedře matematické logiky a teorie algoritmů na Fakultě mechaniky a matematiky Moskevské státní univerzity [2] .
V letech 1989-1992 studoval postgraduální studium na Matematickém ústavu. Akademie věd SSSR V. A. Steklova (MIAN) [3] . V roce 1992 obhájil disertační práci na téma: "Klasifikace logiky výrokové dokazatelnosti". V roce 1998 obhájil doktorskou disertační práci na téma: "Reflexní schémata ve formální aritmetice".
Od roku 1992 je členem MIAN [3] .
V letech 2000-2005 působil na University of Utrecht . Od roku 2004 - profesor katedry matematické logiky a teorie algoritmů Moskevské státní univerzity [2] .
Od roku 2018 zástupce ředitele pro výzkum a hlavní výzkumný pracovník Moskevského vědeckého institutu současně vyučuje matematiku na:
- Matematická fakulta, Národní výzkumná univerzita Vyšší ekonomická škola [3] ;
- Katedra matematické logiky a teorie algoritmů, Fakulta mechaniky a matematiky Moskevské státní univerzity.
| Beklemishev, Lev Dmitrievich - předci | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ceny a ceny
- 1994 - vítěz ceny Moskevské matematické společnosti pro mladé vědce za práci "O klasifikaci logiky výrokové dokazatelnosti".
- 1998 - vítěz Humboldtova stipendia .
Členství v organizacích
- Člen Evropského výboru Asociace pro symbolickou logiku (ASL).
- 2006 - člen korespondent Ruské akademie věd na katedře matematických věd .
Poznámky
- ↑ 1 2 Matematická genealogie (anglicky) - 1997.
- ↑ 1 2 Letopisy Moskevské státní univerzity: Lev Dmitrievič Beklemišev .
- ↑ 1 2 3 Webové stránky HSE: Lev Dmitrievich Beklemishev .
Odkazy
- Profil Lva Dmitrieviče Beklemiševa na oficiálních stránkách Ruské akademie věd
- Stránka na webu MIAN .
- Lev Dmitrijevič Beklemišev . NRU HSE . Datum přístupu: 16. listopadu 2020.
- Lev Dmitrijevič Beklemišev . Kronika Moskevské státní univerzity . Datum přístupu: 16. listopadu 2020.
 Tematické stránky | ||||
|---|---|---|---|---|
| ||||