ЮРИЙ ВЛАДИМИРОВИЧ МАТИЯСЕВИЧ

2 марта родился ЮРИЙ ВЛАДИМИРОВИЧ МАТИЯСЕВИЧ (род. 1947) — советский и российский математик, специалист в области математической логики, теории алгоритмов, теории чисел, дискретной математики. Внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта. Академик Российской АН. Член Американского математического общества и Ассоциации символьной логики. Член редакционных коллегий журналов «Дискретная математика» и «Компьютерные инструменты в образовании». Будучи аспирантом, в начале 1970 года в возрасте 22 лет сделал последний шаг в доказательстве алгоритмической неразрешимости задачи о существовании решений у произвольного диофантова уравнения, известной также как десятая проблема Гильберта, завершив тем самым программу исследований, основную часть которой к тому времени выполнили Мартин Дэвис, Хилари Патнем и Джулия Робинсон. В теории чисел Матиясевич получил ответ на, поставленный в 1927 году, вопрос американского математика Дьёрдя Пойа, касающийся бесконечной системы неравенств, связывающих тейлоровские коэффициенты ξ-функции Римана: показал, что все эти неравенства являются следствием одного функционального неравенства, связывающего фурье-преобразование ξ-функции и его производные. В теории графов предложил несколько критериев раскрашиваемости графов, установил неожиданную связь проблемы четырёх красок и делимости биномиальных коэффициентов, дал вероятностную интерпретацию теоремы о четырёх красках. Имя Матиясевича носят следующие математические объекты:— теорема Матиясевича.