In the
foreword to Hilbert and Bernays two volumes on logic Hilbert says that
there is a widespread and incorrect assumption that Gödel's results have
proved his program of proving the consistency of mathematics by finitistic
means to be hopeless.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.