Abstract
In 1948, Hans Reichenbach distributed a mimeographed set of notes, entitled Theory of Series and Gödel’s Theorems’, to members of his advanced logic class at UCLA. A part of this material has been published for the first time (Reichenbach, 1948). This portion contains Reichenbach’s highly interesting and provocative discussion of the importance of consistency proofs for pure and applied mathematics.
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
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’, in Vienna Circle Collection, Vol. 4, Hans Reichenbach: Selected Writings, 1909–1953 (ed. by Maria Reichenbach and Robert S. Cohen ), D. Reidel, Dordrecht, 1978.
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
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Salmon, M.H. (1977). Consistency Proofs for Applied Mathematics. In: Salmon, W.C. (eds) Hans Reichenbach: Logical Empiricist. Synthese Library, vol 132. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9404-1_21
Download citation
DOI: https://doi.org/10.1007/978-94-009-9404-1_21
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9406-5
Online ISBN: 978-94-009-9404-1
eBook Packages: Springer Book Archive