Problema a zecea a lui Hilbert

Scopul acestei lucrari este de a prezenta o demonstratie completa

moderna a nesolvabilitatii “problemei a ZECEA a lui HILBERT”.

Lucrarea are intentia de a da cea mai scurta demonstratie cunoscuta astazi,demonstratie care ia in vedere toate simplificarile aduse,de la momentul solutionarii acestei probleme de catre Yuri.V.Matijasevich, (anul 1970) si pina in ziua de azi.

Materialul didactic folosit ca sursa pentru lucrarea data este alcatuit din:

1. Articolul “Proof of Recursive Unsolvability of Hilbert’s Tenth

Problem”, publicat in revista Mathematical Monthly, ce-i are ca autori pe James.P.Jones si Yuri.V.Matijasevich.

SI

2. Lectiile predate de catre autorul solutiei problemei,

Yuri.V.Matijasevich, la Universitatea din Calgary, in

perioada : Februarie-Martie, 2000.

Din Biografia Autorului Solutiei

Yuri.V.Matijasevich s-a nascut pe 2 martie,anul 1947 in orasul Sankt-Petersburg (fostul Leningrad).

In 1969,el termina studiile la Departamentul de Matematica si Mecanica din cadrul Universitatii de Stat din Sankt – Petersburg si isi continua cursurile post-universitare la Institul de Matematica “Steklov”.

In anul 1966 primeste gradul de Doctor Honoris Causa al Universitatii

Auvergne din Franta.

In 1997 devine membru – corespondent al Academiei de Stiinte din Rusia.

Yuri.V.Matijasevich a primit gradul de “Candidat al Stiintelor Fizico-Matematice” (Ph.D), la Institutul de Matematica “Steklov” din Sankt-Petersburg, in anul 1970, avindu-i ca Coodonatori Stiintifici pe N.A.Shanin si G.S.Tseitin.

Acest grad i-a fost acordat pentru constructia unui semigrup cu 3 relatii si pentru solutionarea unei probleme nerezolvate pina atunci.

In anul 1973,Yuri.V.Matijasevich primeste gradul de “Doctor” la acelasi Institut de Matematica -“Steklov” ,pentru rezolvarea “Problemei a Zecea a lui Hilbert” (1970).

De aceasta data avindu-l ca Coodonator Stiintific pe S.U.Maslov.

Yuri.V.Matijasevich a tinut lectii in Canada,Franta, Ungaria, Romania,fosta U.R.S.S si Statele Unite.

In S.U.A, Matijasevich a predat la Institutul Courant, M.I.T., Universitatea din Boston, Berkeley si Standford.

In Canada, lectiile au fost tinute in Vancouver,Calgary,London Ontario,Banff,Kingston, Quebec,Thunder Bay si Montreal.

In fosta U.R.S.S, Matijasevich a predat la universitatile din Sankt-Petersburg,Moscova,Tallinn,Chisinau si Tbilisi.

In present este Coodonator Principal al Laboratorului de Logica Matematica de la Institul de Matematica “Steklov” din Sankt-Petersburg.

Domeniul sau actual de cercetare este : “Logica si teoria numerelor”.