skip to content

Department of Pure Mathematics and Mathematical Statistics

Hilbert's tenth problem asked for an algorithm that, given a
multivariable polynomial equation with integer coefficients, would
decide whether there exists a solution in integers. Around 1970,
Matiyasevich, building on earlier work of Davis, Putnam, and Robinson,
showed that no such algorithm exists. But the answer to the analogous
question with integers replaced by rational numbers is still unknown,
and there is not even agreement among experts as to what the answer
should be.

Further information


Apr 27th 2020
12:00 to 13:00


Room 3, Mill Lane Lecture Rooms, 8 Mill Lane, Cambridge


Bjorn Poonen, MIT


Rouse Ball Lectures