We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Published online by Cambridge University Press: 05 June 2012
Preface to the first edition
The discovery of the set-theoretic paradoxes around the turn of the century, and the resulting uncertainties and doubts concerning the use of high-level abstractions among mathematicians, led D. Hilbert to the formulation of his programme: to prove the consistency of axiomatizations of the essential parts of mathematics by methods which might be considered as evident and reliable because of their elementary combinatorial (“finitistic”) character.
Although, by Gödel's incompleteness results, Hilbert's programme could not be carried out as originally envisaged, for a long time variations of Hilbert's programme have been the driving force behind the development of proof theory. Since the programme called for a complete formalization of the relevant parts of mathematics, including the logical steps in mathematical arguments, interest in proofs as combinatorial structures in their own right was awakened. This is the subject of structural proof theory; its true beginnings may be dated from the publication of the landmark-paper Gentzen [1935].
Nowadays there are more reasons, besides Hilbert's programme, for studying structural proof theory. For example, automated theorem proving implies an interest in proofs as combinatorial structures; and in logic programming, formal deductions are used in computing.
There are several monographs on proof theory (Schütte [1960,1977], Takeuti [1987], Pohlers [1989]) inspired by Hilbert's programme and the questions this engendered, such as “measuring” the strength of subsystems of analysis in terms of provable instances of transfinite induction for definable wellorderings (more precisely, ordinal notations).
To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Find out more about the Kindle Personal Document Service.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.
