 In 1948 Reichenbach circulated an unpublished manuscript (1948e, 1978, vol. 1, p. 409–428), touching on Hilbert’s program and Gödel’s theorems. Reichenbach was not persuaded that Gödel’s proof of the impossibility of proving consistency within a sufficiently strong formalized language was of any philosophical significance.