Skip to main content Accessibility help

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.

Close cookie message
×
Hostname: page-component-848d4c4894-xm8r8 Total loading time: 0 Render date: 2024-06-23T06:58:31.280Z Has data issue: false hasContentIssue false

Abstract versus concrete computability: the case of countable algebras

from RESEARCH ARTICLES

Published online by Cambridge University Press:  30 March 2017

By
J. V. Tucker  and
J. I. Zucker
Edited by
Viggo Stoltenberg-Hansen  and
Jouko Väänänen
Viggo Stoltenberg-Hansen
Affiliation:
Uppsala Universitet, Sweden
Jouko Väänänen
Affiliation:
University of Helsinki
Get access

Summary

Abstract. We consider the distinction between abstract computability, in which computation is independent of data representations, and concrete computability, in which computations are dependent on data representations. The distinction is useful for current research in computability theories for continuous data and uncountable structures, including topological algebras and higher types. The distinction is also interesting in the seemingly simple case of discrete data and countable algebras. We give some theorems about equivalences and inequivalences between abstract models (e.g., computation with ‘while’ programs) and concrete models (e.g., computation via numberings) in the countable case.

Introduction. By a computability theory we mean a theory of functions and sets that are definable using a model of computation. By a model of computation we mean a model of some general method of calculating the value of a function or of deciding, or enumerating, the elements of a set. We allow the functions and sets to be made from any kind of data.

With this terminology, Classical Computability Theory on the set N of natural numbers is made up of many computability theories. The computable functions and computably enumerable sets are definable by scores of models of computation, based on scores of ideas about machines, programs, algorithms, specifications, rewriting systems, and calculi. It was an important early discovery, in 1936, that different models of computation can be shown to define the same classes of functions and sets. The fact that diverse computability models lead to the same classes of functions and sets on N is the main pillar supporting the Church-Turing Thesis, which gives the classical theory on N its extraordinary unity.

Starting in the 1940s, computability theories have been created for other special sets of data, including:

  1. • higher types over the natural numbers,

  2. • ordinals and set hierarchies,

  3. • real numbers and Banach spaces, and

  4. • higher types over real numbers.

Type
Chapter
Information
Logic Colloquium '03 , pp. 377 - 408
Publisher: Cambridge University Press
Print publication year: 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[AGM92] S., Abramsky,D., Gabbay, and T., Maibaum(editors),Handbook of logic in computer science, Oxford University Press, 1992, In 5 volumes, 1992–2000.
[AK00] C.J., Ash and Julia, Knight, Computable structures and the hyperarithmetical hierarchy, Elsevier, 2000.
[AN81] C.J., Ash and A., Nerode, Intrinsically recursive relations, Proceedings of the conference on aspects of effective algebra,Monash university (J.N., Crossley, editor), U.D.A. Book Co., Steel's Creek, Victoria, Australia, 1981, pp. 26–41.
[BT04] E.J., Beggs and J.V., Tucker, Computations via experiments with kinematic systems, TechnicalReport 5-2004, Department of Computer Science,University ofWales, Swansea, March 2004.
[Ber93] U., Berger, Total sets and objects in domain theory, Annals of Pure and Applied Logic, vol. 60 (1993), pp. 91–117.Google Scholar
[Ber02] U., Berger, Computability and totality in domains, Mathematical Structures in Computer Science, vol. 12 (2002), pp. 455–467.Google Scholar
[BCSS98] L., Blum, F., Cucker, M., Shub, and S., Smale, Complexity and real computation, Springer-Verlag, 1998.
[BSS89] L., Blum, M., Shub, and S., Smale, On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines, Bulletin of the American Mathematical Society, vol. 21 (1989), pp. 1–46.Google Scholar
[Bou01] J.P., Bourguignon, A basis for a new relationship between mathematics and society, Mathematics unlimited—2001 and beyond (B., Engquist and W., Schmid, editors), Springer-Verlag, 2001, pp. 171–188.
[Bra96] V., Brattka, Recursive characterisation of computable real-valued functions and relations, Theoretical Computer Science, vol. 162 (1996), pp. 45–77.Google Scholar
[Bra97] V., Brattka, Order-free recursion on the real numbers, Mathematical Logic Quarterly, vol. 43 (1997), pp. 216–234.Google Scholar
[BH02] V., Brattka and P., Hertling, Topological properties of real number representations, Theoretical Computer Science, vol. 284 (2002), no. 2, pp. 241–257.Google Scholar
[Cei59] G.S., Ceitin, Algebraic operators in constructive complete separable metric spaces, Doklady Akademii Nauk SSSR, vol. 128 (1959), pp. 49–52.Google Scholar
[Eda97] A., Edalat, Domains for computation in mathematics, physics and exact real arithmetic, The Bulletin of Symbolic Logic, vol. 3 (1997), pp. 401–452.Google Scholar
[Eng68] E., Engeler, Formal languages: Automata and structures, Markham Publishing Co, 1968.
[EGNR98] Y.L., Ershov, S.S., Goncharov, A.S., Nerode, and J.B., Remmel (editors), Handbook of recursive mathematics, Elsevier, 1998, In 2 volumes.
[Esc96] M., Escardó, PCF extended with real numbers, Theoretical Computer Science, vol. 162 (1996), pp. 79–115.Google Scholar
[Fen02] J.E., Fenstad, Computability theory: Structure or algorithms, Reflections on the foundations of mathematics: Essays in honor of SolomonFeferman(W., Sieg, R., Sommer, and C., Talcott, editors), Lecture Notes in Logic, vol. 15, Association for Symbolic Logic, 2002, pp. 188–213.Google Scholar
[Fri71] H., Friedman, Algebraic procedures, generalized Turing algorithms, and elementary recursion theory, Logic colloquium '69 (R.O., Gandy and C.M.E., Yates, editors), North Holland, 1971, pp. 361–389.
[FS56] A., Fröhlich and J., Shepherdson, Effective procedures in field theory, Philosophical Transactions of the Royal Society London, vol. (A) 248 (1956), pp. 407–432.Google Scholar
[Gri99] E., Griffor (editor), Handbook of computability theory, North Holland, 1999.
[Gro98] M., Gromov, Possible trends in mathematics in the coming decades, Notices of the American Mathematical Society, vol. 45 (1998), pp. 846–847.Google Scholar
[Grz55] A., Grzegorczyk, Computable functions, Fundamenta Mathematicae, vol. 42 (1955), pp. 168–202.Google Scholar
[Grz57] A., Grzegorczyk, On the defintions of computable real continuous functions, FundamentaMathematicae, vol. 44 (1957), pp. 61–71.Google Scholar
[HI70] G.T., Herman and S.D., Isard,Computability over arbitrary fields, Journal of the London Mathematical Society (2), vol. 2 (1970), pp. 73–79.Google Scholar
[Jia03] W., Jiang, Universality and semicomputability for non-deterministic programming languages over abstract algebras, M.Sc. Thesis, Department of Computing & Software, McMaster University, 2003, Technical Report CAS-03-03-JZ, Department of Computing & Software, Mc- Master University.
[Kle59] S.C., Kleene, Countable functionals, Constructivity in mathematics (A., Heyting, editor), North Holland, 1959, pp. 81–100.
[Kre59] G., Kreisel, Interpretation of analysis by means of constructive functionals of finite type, Constructivity in mathematics (A., Heyting, editor), North Holland, 1959, pp. 101–128.
[Kre71] G., Kreisel, Some reasons for generalizing recursion theory, Logic colloquium '69 (R.O., Gandy and C.M.E., Yates, editors), North Holland, 1971, pp. 139–198.
[Lac55a] D., Lacombe, Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles, I, Comptes RendusMathématique. Académie des Sciences. Paris, vol. 240 (1955), pp. 2470–2480.
[Lac55b] D., Lacombe, Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles, II, Comptes RendusMathématique. Académie des Sciences. Paris, vol. 241 (1955), pp. 13–14.
[Lac55c] D., Lacombe, Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles, III,ComptesRendusMathématique.Académie des Sciences.Paris, vol. 241 (1955), pp. 151–153.
[Lon04] J., Longley, Notions of computability at higher types I, Proceedings of the ASL logic colloquium, Paris, 2000, AK Peters, 2004, To appear.
[MKS76]W., Magnus, A., Karass, and D., Solitar, Combinatorial group theory, Dover, 1976.
[Mal71a] A.I., Mal'cev, Closely related models and recursively perfect algebras, The metamathematics of algebraic systems. A. I.|Malcev, collected papers: 1936–1967, North Holland, 1971, pp. 255–261.
[Mal71b] A.I., Mal'cev, Constructive algebras I, The metamathematics of algebraic systems. A. I. Malcev, collected papers: 1936–1967, North Holland, 1971, pp. 148–212.
[Mol77] J., Moldestad, Computations in higher types, LectureNotes inMathematics, vol. 574, Springer-Verlag, 1977.
[Mon68] R., Montague, Recursion theory as a branch of model theory, Logic, methodology & philosophy of science III (B., van Rootselaar and J.F., Staal, editors), North Holland, 1968, pp. 63–86.
[Mos64] Y.N., Moschovakis, Recursive metric spaces, Fundamenta Mathematicae, vol. 55 (1964), pp. 215–238.Google Scholar
[Mos69a] Y.N., Moschovakis, Abstract first order computability I, Transactions of the American Mathematical Society, vol. 138 (1969), pp. 427–464.Google Scholar
[Mos69b] Y.N., Moschovakis, Abstract first order computability II, Transactions of the American Mathematical Society, vol. 138 (1969), pp. 465–504.Google Scholar
[Nor80] D., Normann, Recursion on the countable functionals, Lecture Notes in Mathematics, vol. 811, Springer-Verlag, 1980.
[Nor82] D., Normann, External and internal algorithms on the continuous functionals, Patras logic symposium (G., Metakides, editor), Studies in Logic, vol. 109, NorthHolland, 1982, pp. 137–144.
[Nor99] D., Normann, The continuous functionals, Handbook of computability theory (E., Griffor, editor), North Holland, 1999.
[Nor00] D., Normann, Computability over the partial continuous functionals, The Journal of Symbolic Logic, (2000), pp. 1133–1142.
[Pla66] R.A., Platek, Foundations of recursion theory, Ph.D. thesis, Department of Mathematics, Stanford University, 1966.
[Plo77] G.D., Plotkin, LCF considered as a programming language, Theoretical Computer Science, vol. 5 (1977), pp. 223–255.Google Scholar
[PER89] M.B., Pour-EL and J.I., Richards, Computability in analysis and physics, Springer- Verlag, 1989.
[Rab60] M., Rabin, Computable algebra, general theory and the theory of computable fields, Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.Google Scholar
[Ric54] H.G., Rice,Recursive real numbers, Proceedings of theAmericanMathematical Society, vol. 5 (1954), pp. 784–791.Google Scholar
[She73] J.C., Shepherdson, Computations over abstract structures: serial and parallel procedures and Friedman's effective definitional schemes, Logic colloquium '73 (H.E., Rose and J.C., Shepherdson, editors), North Holland, 1973, pp. 445–513.
[She85] J.C., Shepherdson, Algebraic procedures, generalized turing algorithms, and elementary recursion theory, Harvey Friedman's research on the foundations of mathematics (L.A., Harrington, M.D., Morley, A., Ŝčedrov, and S.G., Simpson, editors), North Holland, 1985, pp. 285–308.
[Sma98] S., Smale,Mathematical problems for the next century, TheMathematical Intelligencer, vol. 20 (1998), pp. 7–15.Google Scholar
[Soa96] R.L., Soare,Computability and recursion, TheBulletin of Symbolic Logic, vol. 2 (1996), pp. 284–321.Google Scholar
[Spr98] D., Spreen, On effective topological spaces, The Journal of Symbolic Logic, vol. 63 (1998), pp. 185–221.Google Scholar
[SHLG94] Stoltenberg-Hansen, I., Lindström, and E., Griffor, Mathematical theory of domains, Cambridge University Press, 1994.
[SHT88] V., Stoltenberg-Hansen and J.V., Tucker, Complete local rings as domains, The Journal of Symbolic Logic, vol. 53 (1988), pp. 603–624.Google Scholar
[SHT95] V., Stoltenberg-Hansen and J.V., Tucker, Effective algebras, Handbook of logic in computer science (S., Abramsky, D., Gabbay, and T., Maibaum, editors), vol. 4, Oxford University Press, 1995, pp. 357–526.
[SHT99a] V., Stoltenberg-Hansen and J.V., Tucker, Computable rings and fields, Handbook of computability theory (E., Griffor, editor), North Holland, 1999.
[SHT99b] V., Stoltenberg-Hansen and J.V., Tucker, Concrete models of computation for topological algebras, Theoretical Computer Science, vol. 219 (1999), pp. 347–378.
[Tai62] W.W., Tait, Continuity properties of partial recursive functionals of finite type, Unpublished notes, 1962.
[TZ88] J.V., Tucker and J.I., Zucker, Program correctness over abstract data types, with errorstate semantics, CWIMonographs, vol. 6, North Holland, 1988.
[TZ99] J.V., Tucker and J.I., Zucker, Computation by ‘while’ programs on topological partial algebras, Theoretical Computer Science, vol. 219 (1999), pp. 379–420.
[TZ00] J.V., Tucker and J.I., Zucker, Computable functions and semicomputable sets on many-sorted algebras,Handbook of logic in computer science (S., Abramsky, D., Gabbay, and T., Maibaum, editors), vol. 5, Oxford University Press, 2000, pp. 317–523.
[TZ04] J.V., Tucker and J.I., Zucker, Abstract versus concrete models of computation on partial metric algebras, ACMTransactions on Computational Logic, vol. 5 (2004), no. 4, pp. 611–668.Google Scholar
[TZ05] J.V., Tucker and J.I., Zucker, Computable total functions on metric algebras, universal algebraic specifications and dynamical systems, Journal of Algebraic and Logic Programming, vol. 62 (2005), pp. 71–108.Google Scholar
[Tur36] A.M., Turing, On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, vol. 42 (1936), pp. 230–265, With correction, ibid., 43, 544–546, 1937. Reprinted in The Undecidable, M., Davis, ed., Raven Press, 1965.
[Wei00] K., Weihrauch, Computable analysis: An introduction, Springer-Verlag, 2000.

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org 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.

Available formats
×

Save book 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 Dropbox.

Available formats
×

Save book to Google Drive

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.

Available formats
×