Collections | Livre | Chapitre
Consistency proofs for applied mathematics
pp. 625-636
Résumé
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.
Détails de la publication
Publié dans:
Salmon Wesley C. (1979) Hans Reichenbach: logical empiricist. Dordrecht, Springer.
Pages: 625-636
DOI: 10.1007/978-94-009-9404-1_21
Citation complète:
Salmon Merrilee H., 1979, Consistency proofs for applied mathematics. In W. C. Salmon (ed.) Hans Reichenbach (625-636). Dordrecht, Springer.