Proof of Recursive Unsolvability of Hilbert's Tenth Problem

Abstract

Click to increase image sizeClick to decrease image size Additional informationNotes on contributorsJ. P. JonesJAMES P. JONES received his Ph.D. in 1968 at the University of Washington, Seattle. His supervisor was R. W. Ritchie. He is presently in the Department of Mathematics of the University of Calgary, Alberta, Canada.He has spent leaves in the Steklov Mathematical Institute of the Academy of Sciences of the U.S.S.R., Leningrad, the Tata Institute of Fundamental Research, the University of California, Berkeley and Academia Sinica, Beijing.He has given lectures in Moscow State University, the Institute of Cybernetics in Tallinn, U.S.S.R., the Steklov Mathematical Institute in Leningrad, U.S.S.R., and in the Main Computing Center of the Academy of Sciences of the U.S.S.R. in Riga. He has also lectured at the Stefan Banach Center in Warsaw and at universities in England, France, Italy, Germany, China and Nepal.His current research area is logic and number theory.Y. V. MatijasevičYuri V. Matijasevič received his Candidate of Physical and Mathematical Sciences (Ph.D.) degree in the Steklov Mathematical Institute in Leningrad, in 1970. His supervisors were N. A. Shanin and G. S. Tseitin. The degree was given for constructing a semigroup with three relations and an unsolvable word problem.Matijosevič received his Doctor Sci. degree also in the Steklov Mathematical Institute in Leningrad, in 1973. This was for the solution of Hilbert's Tenth Problem in 1970. Then his supervisor was S. U. Maslov.Matijasevič has given lectures in Canada, France, Hungary, Romania and the U.S. In the U.S. he has lectured in the Courant Institute, M.I.T., Boston University, Berkeley and Stanford. In Canada he has lectured in Vancouver, Calgary, London Ontario, Banff, Kingston, Quebec, Thunder Bay and Montreal. In the U.S.S.R. he has lectured in Leningrad, Moscow, Kiev, Tallinn, Kishinev and Tbilisi.His current research area is logic and number theory.