Héctor J. Sussmann

• Hilbert's tenth problem