Abstract
Several classical approaches to higher type computability are described and compared. Their suitability for providing a basis for higher type complexity theory is discussed. A class of polynomial time functional is described and characterized. A new result is proved in Section 8, showing that an intuitively polynomial time functional is in fact not in the class described.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Bellantoni, Comparing two notions of higher type computability, Manuscript, University of Toronto (in preparation).
Samuel R. Buss, The polynomial hierarchy and intuitionistic bounded arithmetic, Structure in Complexity Theory, Springer-Verlag Lecture Notes in Computer Science No. 223, pages 77–103, 1986.
Alan Cobham, The intrinsic computational difficulty of functions, Proc. of the 1964 International Congress for Logic, Methodology, and the Philosophy of Sciences (Y. Bar-Hillel, ed.), North Holland, Amsterdam, pp. 24–30.
R. Constable, Type two computational complexity, Proc. 5th STOC, pp. 108–121.
S. Cook and A. Urquhart, Functional Interpretations of Feasibly Constructive Arithmetic, Technical Report 210/88, University of Toronto, 1988. Extended Abstract in Proceedings 21st ACM Symposium on Theory of Computing, May 1989, pp. 107–112.
S.A. Cook, The complexity of theorem-proving procedures, Proc. 3rd STOC, pp. 151–158.
S.A. Cook and B.M. Kapron, Characterizations of the basic feasible functionals of finite type, Proc. MSI Workshop on Feasible Mathematics (S. Buss and P. Scott, eds.), Also Tech Rep 228/90, Dept. of Computer Science, University of Toronto, January, 1990. Abstract in Proc. 30th FOCS (1989) pp. 154–159.
Yu.L. Ershov, Computable functionals of finite type, Algebra and Logic 11 (1972), 203–242, (367 437 in Russian).
Yu.L. Ershov, Maximal and everywhere defined functionals, Algebra and Logic 13 (1974), 210–225, (374–397 in Russian).
R.O. Gandy , Computable functionals of finite type I, Sets, Models, and Recursion Theory (J. Crossley, ed.), North Holland, Amsterdam, 1967, (Proc. of the Summer School in Mathematical Logic and Logic Colloquim, Leicester, England, 1965), pp. 202–242.
R.O. Gandy and J.M.E. Hyland, Computable and recursively countable functions of higher type, Logic Colloquium 76, North Holland, 1977, pp. 407–438.
Kurt Gödel , Über eine bisher noch nicht benützte erweiterung des finiten Standpunktes, Dialectica 12, 280–287. English translation: J. of Philosophical Logic 9 (1980), 133–142. Revised and expanded English translation to appear in Volume II of Gödel’s Collected Works.
H.J. Hoover, Feasible real functions and arithmetic circuits, SIAM J. Comp. 19 (1990), 182–204.
B. Kapron, Feasible computation in higher types, Ph.D. thesis, University of Toronto, 1990 (in preparation).
A. Kechris and Y.N. Moschovakis, Recursion in higher types, Handbook of Mathematical Logic (J. Barwise, ed.), North Holland, 1977, pp. 681–737.
S.C. Kleene, Countable functionals, Constructivity in Mathematics (Amsterdam), North Holland, Amsterdam, 1959.
S.C. Kleene, Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959), 1–52.
S.C. Kleene, Turing-machine computable functionals of finite types I, Proc. of the 1960 Congress for Logic. Methodology, and the Philosophy of Science (P. Suppes, ed.), pp. 38–45.
S.C. Kleene, Recursive functionals and quantifiers of finite types II, Trans. Amer. Math. Soc. 108 (1963), 106–142.
K. Ko and H. Friedman, Computational complexity of real functions, Theoretical Computer Science 20 (1982), 323–352.
G. Kreisel, Interpretation of analysis by means of functionals of finite type, Constructivity in Mathematics (Amsterdam), North Holland, Amsterdam, 1959.
K. Mehlhorn, Polynomial and abstract subrecursive classes, JCSS 12 (1976), 147–148.
J. Moldestad, Computations in higher types, Springer-Verlag Lecture Notes in Mathematics, No. 574, 1977.
D. Normann, Recursion on the countable functions, Springer-Verlag Lecture Notes in Mathematics, No. 811.
R.A. Platek, Foundations of recursion theory, Ph.D. thesis, Stanford University, 1966.
G.D. Piotkin, LCF considered as a programming language, Theoretical Computer Science 5 (1977), 223–255.
R.W. Ritchie, Classes of predictably computable functions, Trans. Amer. Math. Soc. 106 (1963), 139–173.
D. Scott, Outline of a mathematical theory of computation, Proc. 4th Annual Princeton conference on Information Science and systems, pp. 169–176.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag New York, Inc.
About this paper
Cite this paper
Cook, S.A. (1992). Computability and Complexity of Higher Type Functions. In: Moschovakis, Y.N. (eds) Logic from Computer Science. Mathematical Sciences Research Institute Publications, vol 21. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-2822-6_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2822-6_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-7685-2
Online ISBN: 978-1-4612-2822-6
eBook Packages: Springer Book Archive