Hilbert's Tenth Problem and some other unsolvable problems

2017-03-30

Title: Hilbert's Tenth Problem and some other unsolvable problems

Speaker: Professor Yuri Matiyasevich

From: St.Petersburg Department of Steklov Institute of Mathematics of Russian Academy of Sciencies

Time: 2017.4.19

Room:

 

Abstract:

In 1900 David Hilbert stated his famous 23 \emph{Mathematical problems}. In the tenth of them he asked to find an algorithm for deciding for arbitrary Diophantine equation whether it has solutions or not. In 1970 the speaker made the last step in the proof of the impossibility of such an algorithm.

 

In the talk I shall present the history of this \emph{negative solution} and the main technical result obtained for proving it. This result has numerous interesting corollaries, including  the undecidability of many other decision problems. Some of such results will be presented in the talk.