Abstract
In this chapter we treat the theory of functionals of finite type in which, following K Gödel [2] pure number theory can be interpreted (§19). The functionals concerned are introduced in §15 and they are shown to be calculable in §16 following W. Howard by transfinite induction up to εε0, in fact, by using the ordinal terms of §14. In §17 we develop a formal system on the basis of the positive implicational calculus (with equality) as a logical setting for the theory of functiorrals of finite type.
This is a preview of subscription content, log in via an institution to check access.
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
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schütte, K. (1977). Functionals of Finite Type. In: Proof Theory. Grundlehren der mathematischen Wissenschaften, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66473-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-66473-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-66475-5
Online ISBN: 978-3-642-66473-1
eBook Packages: Springer Book Archive