| Mati Reinovici Pentus | |
|---|---|
| Data nașterii | 16 iulie 1967 (55 de ani) |
| Locul nașterii | Tallinn , RSS Estonienă |
| Țară |
URSS Rusia |
| Sfera științifică | logica matematica |
| Loc de munca | Universitatea de Stat din Moscova |
| Alma Mater | Universitatea de Stat din Moscova (1992) |
| Grad academic | Doctor în Științe Fizice și Matematice |
| Titlu academic | Profesor |
| consilier științific | S. N. Artemov |
| Cunoscut ca | specialist în calculul Lambek |
Mati Reinovich Pentus (născut în 1967) este un matematician rus, specialist în logică matematică și calcul Lambek .
Mati Reinovich Pentus s-a născut în 1967 la Tallinn [1] . A absolvit Facultatea de Mecanică și Matematică a Universității de Stat din Moscova în 1992, susținând teza „Tipuri echivalente în calculul Lambek și logica liniară” [2] . În 1993, a dovedit așa-numita conjectura Chomsky, care afirmă că gramaticile categorice ale lui Lambek definesc exact limbi fără context fără cuvântul gol (la acea vreme era una dintre principalele întrebări deschise în domeniul calculului lui Lambek). În 1996 și-a susținut teza de doctorat despre „Calcul Lambek și gramatici formale” [1] .
În 2001 a primit titlul de doctor în științe fizice și matematice, susținându-și teza de doctorat pe tema „Completitudinea calculului Lambek” [1] . Această lucrare a lui Mati Reinovich Pentus prezintă o dovadă a completitudinii calculului Lambek cu privire la modelele de limbaj și cu privire la modelele relaționale.
În 2003, el a demonstrat completitudinea NP a verificării derivabilității secvenților în calculul Lambek [3] .
Din 2004 este profesor la Departamentul de Logica Matematică și Teoria Algoritmilor din cadrul Facultății de Mecanică și Matematică a Universității de Stat din Moscova . Mati Reinovich Pentus predă în prezent la Facultatea de Mecanică și Matematică a Universității de Stat din Moscova, la Departamentul de Lingvistică Teoretică și Aplicată a Universității de Stat din Moscova, la Universitatea Umanitară de Stat din Rusia . Este autorul unor cursuri despre logica matematică, calculul Lambek, teoria gramaticilor formale , precum și despre limba estonă și Esperanto [4] . Este unul dintre conducătorii cursului opțional „Unele aplicații ale metodelor matematice în lingvistică”, care se desfășoară la Departamentul de Lingvistică Teoretică și Aplicată a Universității de Stat din Moscova [5] .
Sub conducerea lui Mati Reinovich Pentus au fost susținute 3 teze de doctorat [6] .