МАТИЯСЕ́ВИЧ ЮРИЙ ВЛАДИМИРОВИЧ
-
Рубрика: Математика
-
Скопировать библиографическую ссылку:
МАТИЯСЕ́ВИЧ Юрий Владимирович (р. 2.3.1947, Ленинград), рос. математик, акад. РАН (2008). Окончил ЛГУ (1969). С 1970 работает в С.-Петерб. отделении Математич. ин-та им. В. А. Стеклова РАН, проф. С.-Петерб. гос. ун-та (с 1995). Осн. труды по теории алгоритмов, математич. логике, теории чисел, дискретной математике. М. доказал (1970) алгоритмич. нераспознаваемость существования решений у диофантовых уравнений, решив тем самым (отрицательно) 10-ю проблему Гильберта. В графов теории М. предложил неск. критериев раскрашиваемости графов. Пр. им. А. А. Маркова АН СССР (1980).