Мати Рейнович Пентус родился в 1967 году в Таллине[1]. Окончил механико-математический факультет МГУ в 1992 году, защитив дипломную работу «Эквивалентные типы в исчислении Ламбека и линейной логике»[2]. В 1993 году доказал так называемую гипотезу Хомского, заключающуюся в том, что категориальные грамматики Ламбека задают в точности контекстно-свободные языки без пустого слова (на тот момент это был один из основных открытых вопросов в области исчисления Ламбека). В 1996 году защитил кандидатскую диссертацию на тему «Исчисление Ламбека и формальные грамматики»[1].
В 2001 году получил учёную степень доктора физико-математических наук, защитив докторскую диссертацию на тему «Полнота исчисления Ламбека»[1]. В этой работе Мати Рейновича Пентуса представлено доказательство полноты исчисления Ламбека относительно языковых моделей и относительно реляционных моделей.
В 2003 году доказал NP-полноту проверки выводимости секвенций в исчислении Ламбека[3].
С 2004 года является профессором кафедры математической логики и теории алгоритмов механико-математического факультета МГУ. Свою преподавательскую деятельность в настоящее время Мати Рейнович Пентус ведёт на механико-математическом факультете МГУ, на отделении теоретической и прикладной лингвистики МГУ, в РГГУ. Он является автором курсов по математической логике, исчислению Ламбека, теории формальных грамматик, а также по эстонскому языку и эсперанто[4]. Является одним из руководителей факультатива «Некоторые применения математических методов в языкознании», проходящего на отделении теоретической и прикладной лингвистики МГУ[5].
Под руководством Мати Рейновича Пентуса были защищены 3 кандидатские диссертации[6].
Основные труды
Статьи
Пентус, А. Е., Пентус, М. Р. Атомарная теория умножения и деления двусторонних идеалов полуколец (рус.) // Фундаментальная и прикладная математика. — 2009. — Т. 15, № 2. — С. 169-189. — ISSN1560-5159.
Пентус М. Р. Исчисление Ламбека и формальные грамматики (рус.) // Фундаментальная и прикладная математика. — 1995. — Т. 1, № 3. — С. 729-751.
Пентус, А. Е., Пентус, М. Р. Объектно-ориентированное представление иерархических сетей Петри (рус.) // Фундаментальная и прикладная математика. — 2000. — Т. 6, № 3. — С. 831-840. — ISSN1560-5159.
Пентус М. Р. Полнота синтаксического исчисления Ламбека (рус.) // Фундаментальная и прикладная математика. — 1999. — Т. 5, № 1. — С. 193-219.