Cílem práce bude prostudovat Matjasevičovo řešení desátého Hilbertova problému a některé jeho aplikace.
Seznam odborné literatury
M. Davis, Hilbert's tenth problem is unsolvable, Amer. Math. Monthly 80, 233-269 (1973)
R. Lyndon a P. Schupp, Combinatorial Group Theory, Springer-Verlag, 1977
Yuri Matiyasevich, Hilbert's tenth problem, The MIT Press, Cambridge, London, 1993
Předběžná náplň práce v anglickém jazyce
The aim of the thesis shall be the understanding of Matiyasevitch's solution of Hilbert's tenth problem and some of its applications.