Abstract
In order to demonstrate the consistency of certain axiom systems, Hilbert makes use of a theory of mathematical proof in which the proof must be thought of as rigorously formalized in concrete symbols (see Hilbert [1922], [1923], [1926], Bernays [1922], Ackermann [1924]). “A proof is an array which must be graphically represented in its entirety” (Hilbert [1923, 152]). He adds: “A formula shall be said to be provable if it is either an axiom, or arises by substitution into an axiom, or is the concluding formula of a proof” (ibid., 152–153). The aim, then, is to show that, in a given axiom system, a contradictory formula (formalized in the same way) can with certainty never be proven. Axiom systems for which this can be demonstrated are said to be “consistent” (ibid., 157 and [1926, 179]). In the following where the formalization is quite general, such systems will be called formally consistent.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Birkhäuser Verlag
About this chapter
Cite this chapter
Booth, D., Ziegler, R. (1996). Formal Proofs and Decidibility. In: Booth, D., Ziegler, R. (eds) Finsler Set Theory: Platonism and Circularity. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-9031-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-0348-9031-1_4
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-9876-8
Online ISBN: 978-3-0348-9031-1
eBook Packages: Springer Book Archive