Some Purely Mathematical Results Inspired by Mathematical Logic

  • Yu. V. Matijasevič
Part of the The University of Western Ontario Series in Philosophy of Science book series (WONS, volume 9)


It is well-known that mathematical logic has greatly contributed to mathematics proper. As examples, one can mention famous results connected with the continuum hypothesis and numerous results about algorithmical unsolvability of many important decision problems in mathematics. However, these results are not purely mathematical since their very formulations involve some logical notions such as the notion of axiomatic theory or that of algorithm.


Diophantine Equation Continuum Hypothesis Axiomatic Theory Joint Paper Logical Idea 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Davis, M., Matijasevič, Yu., and Robinson, J.: 1976, ‘Hilbert’s Tenth Problem. Diophantine Equations: Positive Aspects of a Negative Solution’, Proceedings of Symposia in Pure Mathematics, vol. 28. American Mathematical Society.Google Scholar
  2. Matijasevič, Yu. V. and Robinson, J.: 1975, ‘Reduction of an Arbitrary Diophantine Equation to One in 13 Unknowns’, Acta Arithmetica 27, 521–553.Google Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1977

Authors and Affiliations

  • Yu. V. Matijasevič
    • 1
  1. 1.Academy of Sciences of the USSRRussia

Personalised recommendations