Hilbert's Tenth Problem and some other unsolvable problems
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.