El décimo problema de Hilbert
Coloquio Postgrado, 3.5.2010 a las 17:30
Javier Utreras Alarcón
Universidad de Concepción
In the year 1900, Hilbert posed the following problem: devise an algorithm to decide whether a Diophantine equation (i.e. polynomial equation with integer coefficients) has any integer solutions. 70 years later, based on the work by Davis, Putnam and Robinson, Y. Matiyasevic showed that such an algorithm cannot exist. In this talk I will explain this proof, following the presentation given by Davis in 1973.