[FOM] Hilbert and conservativeness
praatika@mappi.helsinki.fi
praatika at mappi.helsinki.fi
Fri Sep 2 04:34:53 EDT 2005
Aatu Koskensilta <aatu.koskensilta at xortec.fi> wrote:
> At several places Hilbert notes that a finitistic consistency proof for
> 'ideal' mathematics implies that 'ideal' mathematics is conservative
> over finitistic mathematics w.r.t. finitistically meaningful ('real')
> statements.
>
> What I'm wondering is how Hilbert knew this. Did he note, as we might
> do today, that if T_1 |- Cons(T_2) then every Pi_1 sentence provable in
> T_2 is provable in T_1 (provided the theories meet the relevant
> conditions); or did he simply believe that finitistic mathematics is
> complete and hence any consistent theory extending it is conservative?
Here is what I wrote on this issue in my paper "Hilbert's program
revisited":
* * *
... I think that it is somewhat anachronistic to attribute
such sophisticated logical ideas to Hilbert. For, if such a line of thought
really were behind his consistency program, one would certainly expect
Hilbert to explain it in detail. But there is hardly any hint of such
reasoning in Hilberts work. The only exception is Hilberts relatively
late discussion, in his 1927 Hamburg address (Hilbert 1928), where there
is indeed an informal sketch of the idea of how the consistency proof
would allow one to eliminate the infinistic elements from a proof of a
real sentence. This passage seems to be the only basis for the later
logical interpretation.
But certainly, if Hilberts reasons were as ingenious as the later proof-
theoretical tradition tends to interpret them, there would be more traces
of it in Hilberts publications. And yet, for example in his paper On the
Infinite from 1926, which is the most extensive mature exposition of
Hilberts program, Hilbert simply stated that a proof of consistency
amounts to real-soundness and real-conservativity, without a word of
explanation
:
:
My hypothesis is the following: I think that Hilbert simply assumed
that finitistic mathematics is deductively complete with respect to the
real sentences (i.e., is real-complete).10 This would have made
everything smooth: if an ideal theory extending finitistic mathematics
would prove some real sentence that finitistic mathematics does not prove,
it would be inconsistent: the real-conservativity and real-soundness
follow immediately from the consistency. That is, in the presence of real-
completeness of finitistic mathematics, the properties of consistency,
real-soundness and real-conservativity almost trivially coincide.
Hilbert once remarked that in my proof theory only the real propositions
are directly capable of verification (Hilbert 1928, 475), but I
am not certain whether one can interpret this as expressing a commitment
to real-completeness. However, the following statement seems to
do that: In mathematics there is no ignorabimus. On the contrary, we
can always answer meaningful questions (Hilbert 1929, 233). And No
answer is clearly not an answer. (One should also note that there is, as
such, something odd with the idea of a statement which is meaningful
but does not have a truth-value.) Bernays, in any case, explicitly assumed
real-completeness: In the case of a finitistic proposition however, the
determination of its irrefutability is equivalent to determination of its
truth (Bernays 1930, 259, my italics). One may presume that this also
reliably reflects Hilberts view.
Further, it is a fact that Hilbert believed that both the axioms of
elementary arithmetic and those of real analysis are deductively complete
(see Hilbert 1929, 1931; cf. Bernays 1930). Although he is nowhere that
explicit with respect to finitistic arithmetic, it is not at all
implausible to assume that Hilbert believed also in this kind of real-
completeness. Moreover, the former alleged completeness of full arithmetic
would actually provide a decision method for all real statements, which in
turn would naturally entail their decidability in finitistic mathematics.
Finally, the assumptions that first-order logic is decidable and that
finitistic mathematics can prove the consistency of any consistent theory,
arguably alleged by Hilbert, both entail that finitistic mathematics is
complete for real sentences. Therefore, we even have several different
reasons to assume that Hilbert believed in real-completeness of finitistic
mathematics.
Reference: Panu Raatikainen, "Hilbert's program revisited", Synthese 137:
157177, 2003.
Best, Panu
Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
P.O. Box 9
FIN-00014 University of Helsinki
Finland
E-mail: panu.raatikainen at helsinki.fi
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm
More information about the FOM
mailing list