hidden - assigned and confirmed by the Study Dept.
Date of registration:
06.10.2008
Date of assignment:
24.11.2008
Date and time of defence:
29.06.2009 00:00
Date of electronic submission:
29.06.2009
Date of proceeded defence:
29.06.2009
Opponents:
doc. RNDr. Jiří Tůma, DrSc.
Guidelines
Cílem práce bude prostudovat Matjasevičovo řešení desátého Hilbertova problému a některé jeho aplikace.
References
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
Preliminary scope of work in English
The aim of the thesis shall be the understanding of Matiyasevitch's solution of Hilbert's tenth problem and some of its applications.