Consistency proofs for applied mathematics

Salmon

pp. 625-636

in: Wesley C. Salmon (ed), Hans Reichenbach, Berlin, Springer, 1979

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.

Cited authors

Reichenbach Hans