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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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.
Matijasevič, Yu. V. and Robinson, J.: 1975, ‘Reduction of an Arbitrary Diophantine Equation to One in 13 Unknowns’, Acta Arithmetica 27, 521–553.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Matijasevič, Y.V. (1977). Some Purely Mathematical Results Inspired by Mathematical Logic. In: Butts, R.E., Hintikka, J. (eds) Logic, Foundations of Mathematics, and Computability Theory. The University of Western Ontario Series in Philosophy of Science, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1138-9_7
Download citation
DOI: https://doi.org/10.1007/978-94-010-1138-9_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1140-2
Online ISBN: 978-94-010-1138-9
eBook Packages: Springer Book Archive