Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs

Details Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs

2002-04-20

arxiv.org/abs/math/0204255v2

Mathematics

Logic

18 pages, final version

Scientific paper

In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's Programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-substitution method. There was, however, a second approach which was not reflected in the publications of the Hilbert school in the 1920s, and which is a direct precursor of Hilbert's first epsilon theorem and a certain 'general consistency result' due to Bernays. An analysis of the form of this so-called 'failed proof' sheds further light on an interpretation of Hilbert's Programme as an instrumentalist enterprise with the aim of showing that whenever a `real' proposition can be proved by 'ideal' means, it can also be proved by 'real', finitary means.

Affiliated with

Also associated with

No associations

Rating

Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-360590