| Mati Reinovich Pentus | |
|---|---|
| Fecha de nacimiento | 16 de julio de 1967 (55 años) |
| Lugar de nacimiento | Tallin , RSS de Estonia |
| País |
URSS Rusia |
| Esfera científica | lógica matemática |
| Lugar de trabajo | Universidad estatal de Moscú |
| alma mater | Universidad Estatal de Moscú (1992) |
| Titulo academico | Doctor en Ciencias Físicas y Matemáticas |
| Título académico | Profesor |
| consejero científico | S. N. Artemov |
| Conocido como | especialista en calculo Lambek |
Mati Reinovich Pentus (nacido en 1967) es un matemático ruso, especialista en lógica matemática y cálculo Lambek .
Mati Reinovich Pentus nació en 1967 en Tallin [1] . Se graduó en la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú en 1992, habiendo defendido su tesis "Tipos equivalentes en el cálculo de Lambek y lógica lineal" [2] . En 1993 demostró la llamada conjetura de Chomsky, que afirma que las gramáticas categóricas de Lambek definen exactamente lenguajes libres de contexto sin la palabra vacía (en ese momento era una de las principales cuestiones abiertas en el campo del cálculo de Lambek). En 1996 defendió su tesis doctoral sobre "Cálculo de Lambek y gramáticas formales" [1] .
En 2001 recibió el grado de Doctor en Ciencias Físicas y Matemáticas, habiendo defendido su tesis doctoral sobre el tema "Completitud del cálculo de Lambek" [1] . Este artículo de Mati Reinovich Pentus presenta una prueba de la integridad del cálculo de Lambek con respecto a los modelos de lenguaje y con respecto a los modelos relacionales.
En 2003, probó la completitud NP de verificar la derivabilidad de los secuentes en el cálculo de Lambek [3] .
Desde 2004 es profesor en el Departamento de Lógica Matemática y Teoría de Algoritmos de la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú . Mati Reinovich Pentus actualmente enseña en la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú, en el Departamento de Lingüística Teórica y Aplicada de la Universidad Estatal de Moscú, en la Universidad Estatal Humanitaria de Rusia . Es autor de cursos sobre lógica matemática, el cálculo de Lambek, la teoría de las gramáticas formales , así como sobre la lengua estonia y el esperanto [4] . Es uno de los líderes del curso electivo "Algunas Aplicaciones de los Métodos Matemáticos en Lingüística", que tiene lugar en el Departamento de Lingüística Teórica y Aplicada de la Universidad Estatal de Moscú [5] .
Bajo la dirección de Mati Reinovich Pentus, se defendieron 3 tesis doctorales [6] .