# Some Purely Mathematical Results Inspired by Mathematical Logic

Chapter

## Abstract

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.

## Keywords

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.

## Preview

Unable to display preview. Download preview PDF.

## Bibliography

- 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 - 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