Hilbert 1922 program: prove consistency of mathematics by finitary means; Godel 1931 second incompleteness theorem refutes finitary proof for sufficiently strong systems.
Hilbert 1922 program: prove consistency of mathematics by finitary means; Godel 1931 second incompleteness theorem refutes finitary proof for sufficiently strong systems.