|
Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2011, Volume 275, Pages 128–143
(Mi tm3346)
|
|
|
|
This article is cited in 3 scientific papers (total in 3 papers)
What can and cannot be done with Diophantine problems
Yu. V. Matiyasevich St. Petersburg Department of V. A. Steklov Institute of Mathematics, Russian Academy of Sciences, St. Petersburg, Russia
Abstract:
This survey presents various theorems (obtained mainly by specialists in mathematical logic and computability theory) stating the impossibility of algorithms for solving certain Diophantine problems. Often the technique developed for obtaining such “negative” results also allows one to prove many “positive” theorems on the possibility of formulating Diophantine problems with special properties. This survey also lists a number of questions that remain open.
Received in February 2011
Citation:
Yu. V. Matiyasevich, “What can and cannot be done with Diophantine problems”, Classical and modern mathematics in the wake of Boris Nikolaevich Delone, Collected papers. In commemoration of the 120th anniversary of Boris Nikolaevich Delone's birth, Trudy Mat. Inst. Steklova, 275, MAIK Nauka/Interperiodica, Moscow, 2011, 128–143; Proc. Steklov Inst. Math., 275 (2011), 118–132
Linking options:
https://www.mathnet.ru/eng/tm3346 https://www.mathnet.ru/eng/tm/v275/p128
|
Statistics & downloads: |
Abstract page: | 793 | Full-text PDF : | 381 | References: | 219 |
|