| Mati Reinovich Pentus | |
|---|---|
| Datum narození | 16. července 1967 (55 let) |
| Místo narození | Tallinn , Estonská SSR |
| Země |
SSSR Rusko |
| Vědecká sféra | matematická logika |
| Místo výkonu práce | Moskevská státní univerzita |
| Alma mater | Moskevská státní univerzita (1992) |
| Akademický titul | Doktor fyzikálních a matematických věd |
| Akademický titul | Profesor |
| vědecký poradce | S. N. Artemov |
| Známý jako | specialista na Lambekův kalkul |
Mati Reinovich Pentus (narozen 1967) je ruský matematik, specialista na matematickou logiku a Lambekův počet .
Mati Reinovich Pentus se narodil v roce 1967 v Tallinnu [1] . Vystudoval Fakultu mechaniky a matematiky Moskevské státní univerzity v roce 1992 obhájením diplomové práce „Ekvivalentní typy v Lambekově počtu a lineární logice“ [2] . V roce 1993 dokázal tzv. Chomského domněnku, která tvrdí, že Lambkovy kategoriální gramatiky definují přesně bezkontextové jazyky bez prázdného slova (v té době to byla jedna z hlavních otevřených otázek v oblasti Lambekova kalkulu). V roce 1996 obhájil doktorskou práci na téma "Lambekův počet a formální gramatiky" [1] .
V roce 2001 získal titul doktora fyzikálních a matematických věd obhájením doktorské disertační práce na téma „Úplnost Lambekova počtu“ [1] . Tento článek Mati Reinoviče Pentuse představuje důkaz úplnosti Lambekova kalkulu s ohledem na jazykové modely a s ohledem na relační modely.
V roce 2003 prokázal NP-úplnost kontroly derivovatelnosti sekvencí v Lambekově kalkulu [3] .
Od roku 2004 je profesorem na katedře matematické logiky a teorie algoritmů na Fakultě mechaniky a matematiky Moskevské státní univerzity . Mati Reinovich Pentus v současnosti vyučuje na Fakultě mechaniky a matematiky Moskevské státní univerzity, na Katedře teoretické a aplikované lingvistiky Moskevské státní univerzity na Ruské státní humanitní univerzitě . Je autorem kurzů matematické logiky, lambeckého počtu, teorie formálních gramatik , estonštiny a esperanta [4] . Je jedním z vedoucích volitelného kurzu „Některé aplikace matematických metod v lingvistice“, probíhajícího na Katedře teoretické a aplikované lingvistiky Moskevské státní univerzity [5] .
Pod vedením Matiho Reinoviče Pentuse byly obhájeny 3 doktorské disertační práce [6] .