FOM: Re: Hilbert's consistency results
Juliette Kennedy
jkennedy at cc.helsinki.fi
Thu Oct 21 14:16:57 EDT 1999
>
> How about summarizing the answers here on the FOM list?
>
> -- Steve
Certainly: The question was, what were the first consistency results
gotten by Hilbert or Hilbert and his students in the 1920's. The first
result of this kind appears in Ackermann's dissertation (under Hilbert) in
1924, where he proved the consistency of what we now call IOpen,
arithmetic with induction for open formulas only.
Then in 1934, though it probably was obtained earlier, Hilbert and Bernays
published a proof of the consistency of arithmetic with successor. The
proof uses quantifier elimination. I assume the theory "arithmetic with
successor" means the theory in the language with su
But this is a long story. One should really look at Sieg's
"Hilbert's Programs: 1917-1922," which I can give a reference for, and
also P. Mancosu's book, "From Brouwer to Hilbert," the section 3.5
called "Technical Results," which I paraphrased in the first paragraph of
this note.
J.Kennedy
More information about the FOM
mailing list