Some Purely Mathematical Results Inspired by Mathematical Logic
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.
Unable to display preview. Download preview PDF.
- 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