Skip to main content
Log in

Consistency proofs for applied mathematics

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  • Curry, H., 1963, Foundations of Mathematical Logic, McGraw-Hill, New York.

    Google Scholar 

  • Dirac, P., 1958, Principles of Quantum Mechanics, 4th ed., Oxford University, Oxford.

    Google Scholar 

  • Gödel, K., 1964, ‘What is Cantor's Continuum Problem?’, in Philosophy of Mathematics (ed. by P. Benacerraf and H. Putnam), Prentice-Hall, Englewood Cliffs, pp. 258–273.

    Google Scholar 

  • Goodstein, R., 1965, Essays in the Philosophy of Mathematics, Leicester University, Leicester.

    Google Scholar 

  • Klein, F., 1924, Elementary Mathematics from an Advanced Standpoint, Dover, New York.

    Google Scholar 

  • Lakatos, I., 1963, ‘Proofs and Refutations’, Brit. J. Philos. Sci. 14, 1–25.

    Google Scholar 

  • Menger, K., 1952, Calculus, A Modern Approach, University of Chicago, Chicago.

    Google Scholar 

  • Reichenbach, H., 1946a, The Philosophical Foundations of Quantum Mechanics, University of California, Berkely and Los Angeles.

    Google Scholar 

  • Reichenbach, H., 1946b, ‘Bertrand Russell's Logic’, in The Philosophy of Bertrand Russell, (ed. by P. A. Schillp), Library of Living Philosophers, Inc., Evanston, pp. 21–54.

    Google Scholar 

  • Reichenbach, H., 1947, Elements of Symbolic Logic, Macmillan, New York.

    Google Scholar 

  • Reichenbach, H., 1948, ‘Theory of Series and Gödel's Theorems’, to appear in Vienna Circle Collection, Vol. 4, Reichenbach (People, Politics, and Probability), ed. by Robert S. Cohen and Maria Reichenbach, D. Reidel, forthcoming.

  • von Neumann, J., 1935, Mathematical Foundations of Quantum Mechanics, Princeton, Princeton.

    Google Scholar 

  • Wang, H., 1961, ‘Process and Existence in Mathematics’, in Essays on the Foundations of Mathematics, (ed. by Y. Bar-Hillel et al.), The Magnes Press, Jerusalem, pp. 328–351.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Salmon, M.H. Consistency proofs for applied mathematics. Synthese 34, 301–312 (1977). https://doi.org/10.1007/BF00485880

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00485880

Keywords

Navigation