Search results

Matiyasevich Yu. [2005] Hilbert’s tenth problem and paradigms of computation Lect. Notes in Comp. Sci., 3526, 310-321 ? article Вернуться к поиску

Matiyasevich Yu. [1994] A direct method for simulating partial recursive functions by Diophantine equations Ann. Pure Appl. Logic, 67, 325-348 ? article Вернуться к поиску

Matiyasevich Yu. V. [2000] Hilbert’s tenth problem: what was done and what is to be done Contemporary Math., 270, 1-47 05.08.151 article Вернуться к поиску

Matijasevič Y. V. [1971] Diophantine representation of recursively enumerable sets Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 235-238 72.Г4.79 article Вернуться к поиску

Matijasevič Y. V., Robinson J. [1975] Reduction of an arbitrary Diophantine equation to one in 13 unknowns Acta Arithmetica, 27, 521-553 75.11.205 article Вернуться к поиску

Davis M., Matijasevič Y. V., Robinson J. [1976] Hilbert’s tenth problem. Diophantine equations: positive aspects of a negative solution, Mathematical Development arising from Hilbert’s problems, Proc. Conf. on the Hilbert Problems (Ill ois, 1974), Amer. Math. Soc., Providence,...

M Maass W. Mac Queen D. Machover M. Machtey M. MacintyreA MacIntyreJM Madan D.B. Mahaney S.R. Mahn F.K. Maier W. Mainhardt G. Maksimova L. L. Malcev A.I. Manasse M. Manaster A. B. Marandzjan G. B. Marcone A. Marker D. Marques I. MartinDA MartinG Matiyasevich Yu.V. Mayoh B.H. McCarthyC McCarthyJ McCoy Ch.F.D. McCreight E.M. McEvoy K. McKenzie R. McKinsey J. C. C. McLaughlin T.G. McNicholl T. H. McNulty G. Melhorn K. Melzak Z.A. Mendelson E. Menzel W. Merkle W. Metakides G. MeyerAR Mihailovich N. J. Mileti J.R....

Jones J.P., Matijasevich Yu.V. [1991] Proof of recursive unsolvability of Hilbert’s tenth problem Amer. Math. Monthly, 98, № 8, 689-709 92.09.60 article Вернуться к поиску

Matijasevich Yu. V. [1973] On recursive unsolvability of Hilbert’s tenth problem Proc. IV Inter. Congress Logic, Methodology, Philosophy Sci.,, (Bucharest, 1971), 74, North-Holland, 89-100 ? article Вернуться к поиску

Jones J.P., Matijasevich Yu.V. [1984] Register machine proof of the theorem on exponential Diophantine representations of enumerable sets J. Symbolic Logic, 49, № 3, 818-829 85.04.45 O article Вернуться к поиску

Matijasevich Yu. V. [1976] Some purely mathematical results inspired by mathematical logic Proc. V Inter. Congress Logic, Methodology, Philosophy Sci., (London, Ontario, Canada, 1975), D.Reider Publ. Comp., 121-127 ? article Вернуться к поиску

Jones J.P., Matijasevich Yu.V. [1982] Exponential Diophantine representation of recursively enumerable sets Proc. Herbrand Symp. Logic (Marseilles, 1981), Studies Logic and the Foundations of Math., 107, 159-177, North-Holland ? article Вернуться к поиску