Yuriǐ V. Matiyasevich

• Hilbert's tenth problem