Consistency proofs for applied mathematics
pp. 625-636
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.
Publication details
Published in:
Salmon Wesley C. (1979) Hans Reichenbach: logical empiricist. Dordrecht, Springer.
Pages: 625-636
DOI: 10.1007/978-94-009-9404-1_21
Full citation:
Salmon Merrilee H. (1979) „Consistency proofs for applied mathematics“, In: W. C. Salmon (ed.), Hans Reichenbach, Dordrecht, Springer, 625–636.