Yuri Matiyasevich
Tên theo chữ viết gốc: Юрий Владимирович Матиясевич
hoạt động khoảng năm 1947, Leningrad, Liên Xô (nay là Saint Petersburg, Nga)
Nhà toán học và logic học người Nga, năm 1970 ở tuổi 22 đã hoàn tất lời giải phủ định cho bài toán thứ mười của Hilbert bằng cách chứng minh định lý nay mang tên Matiyasevich.
Yuri Matiyasevich sinh tại Leningrad. Huy chương vàng Olympic Toán quốc tế năm 1964, ông học tại Đại học Tổng hợp Leningrad, tốt nghiệp năm 1969, và hoàn thành luận án tiến sĩ tại chi nhánh Leningrad của Viện Toán học Steklov (LOMI).
Bài toán thứ mười của Hilbert, nêu ra năm 1900, hỏi có tồn tại thuật toán tổng quát để xác định một phương trình Diophantine có nghiệm nguyên hay không. Dựa trên hai thập kỷ nghiên cứu của Martin Davis, Hilary Putnam và Julia Robinson — những người đã đưa bài toán về việc chứng minh mọi tập đệ quy liệt kê được đều là tập Diophantine (giả thuyết DPRM) — Matiyasevich đã cung cấp bước còn thiếu năm 1970: dùng tính tăng trưởng mũ của dãy Fibonacci, ông chỉ ra cấu trúc đó tồn tại. Kết hợp với các kết quả trước đó, điều này chứng minh không tồn tại thuật toán như vậy — câu trả lời phủ định nay gọi là định lý MRDP (Matiyasevich–Robinson–Davis–Putnam).
Matiyasevich làm việc cả sự nghiệp tại Viện Toán học Steklov ở Saint Petersburg, đứng đầu Phòng Logic Toán học từ năm 1980 và trở thành giáo sư chính thức năm 1995; sau đó ông làm Chủ tịch Hội Toán học Saint Petersburg. Chuyên khảo năm 1993 Hilbert's Tenth Problem của ông vẫn là tài liệu tham khảo chuẩn về chủ đề này.
Nơi làm việc: Viện Toán học Steklov, Saint Petersburg, Đại học Quốc gia Saint Petersburg
Nga