Matijasevic

Matijasevic

Matijasevič Jurij Vladimirovič (Leningrado, oggi San Pietroburgo, 1947) matematico russo. Il suo nome è legato alla soluzione (in negativo) del decimo problema di Hilbert sulla risolubilità di una equazione diofantea. Dimostrò nel 1970 che il problema è indecidibile nella sua tesi di dottorato al lomi (Dipartimento di Leningrado dell’Istituto Steklov di Matematica dell’Accademia russa delle scienze). Nell’ambito di questo dipartimento è divenuto capo del laboratorio di logica-matematica nel 1980. Dal 1998 è vicepresidente della Società matematica di San Pietroburgo e dal 2008 è membro dell’Accademia russa delle scienze.