Skip to main content
Log in

Computability of Digital Input Output Models

  • Published:
Computational Economics Aims and scope Submit manuscript

Abstract

Using Church’s thesis on recursiveness of m-ary relations of integer numbers and methods for existence of solutions for Diophantine equations, the conditions on the computability of some important digital input output models are demonstrated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Ciaschini M. (1993) Modelling the structure of the economy. Chapman & Hall, London

    Google Scholar 

  • Enderton H. B. (1972) A mathematical introduction to logic. Academic Press, New York

    Google Scholar 

  • Koch H. (2000) Number theory. Algebraic numbers and functions. American Mathematical Society, Providence

    Google Scholar 

  • Lang, S. (1987). Linear algebra. Third edition. Undergraduate texts in Mathematics. Springer Verlag.

  • Niven I., Zuckerman H., Montgomery H. (1991) An introduction to the theory of numbers (5th ed.). Wiley, New York

    Google Scholar 

  • Schmidt W. M. (1991) Diophantine Approximations and Diophantine Equations. Springer Verlag, New York

    Google Scholar 

  • Smart N. P. (1998) The algorithmic resolution of diophantine equations. Cambridge University Press, Cambridge

    Google Scholar 

  • Soare R. I. (1987) Recursively enumerable sets and degrees. Springer-Verlag, New York

    Google Scholar 

  • Velupillae K. V. (2010) Computable foundations for economics. Routledge, London

    Google Scholar 

  • Velupillae K. V. (2000) Computable economics. Oxford University Press, Oxford

    Book  Google Scholar 

  • Velupillae V. K. (2005) A primer on the tools and concepts of computable economics. In: Vilupillae V. K. (eds) Computability, complexity and contructivity in economic analysis. Blackwell Publishing, Oxford

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to J. R. Guzmán.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Guzmán, J.R. Computability of Digital Input Output Models. Comput Econ 37, 1–11 (2011). https://doi.org/10.1007/s10614-010-9244-9

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10614-010-9244-9

Keywords

Navigation