Bibliography
Curry, H., 1963, Foundations of Mathematical Logic, McGraw-Hill, New York.
Dirac, P., 1958, Principles of Quantum Mechanics, 4th ed., Oxford University, Oxford.
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.
Goodstein, R., 1965, Essays in the Philosophy of Mathematics, Leicester University, Leicester.
Klein, F., 1924, Elementary Mathematics from an Advanced Standpoint, Dover, New York.
Lakatos, I., 1963, ‘Proofs and Refutations’, Brit. J. Philos. Sci. 14, 1–25.
Menger, K., 1952, Calculus, A Modern Approach, University of Chicago, Chicago.
Reichenbach, H., 1946a, The Philosophical Foundations of Quantum Mechanics, University of California, Berkely and Los Angeles.
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.
Reichenbach, H., 1947, Elements of Symbolic Logic, Macmillan, New York.
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.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF00485880