Abstract
This paper discusses the complexity and computability of the ‘Deissenberg Problem’ of finding the ‘best’ point in the efficient set. It is shown that the problem is computably undecidable and that the efficient set of the problem is algorithmically complex.
A modest contribution to the Festschrift in Honour of Christophe Deissenberg, edited by Herbert Dawid and Jasmina Arifovic, forthcoming in the Springer Series on Dynamic Modeling and Econometrics in Economics and Finance. The ‘Post’, in the Post-Turing Thesis, above, is a reference to Emil Post.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In 1983 I borrowed a book by a then well-known author from Christoph Deissenberg; unfortunately—or, with hindsight, fortunately—it was taken, without my knowledge, by a ‘then’ friend, from my home library; it was never returned. At some point in 1984, Christophe, in his usual diffident, civilized, way, gently reminded me of having borrowed a book from him. It was then that I had the courage to tell him what had happened—but I offered to buy a new copy of it. He—again, with the utmost politeness—declined the offer, saying that it was a copy presented by the author! I have, since then, familiarized myself with the contents of that book and I prepared a first draft of this contribution as a generalization and formalization of Chaps. 5, 6 and 7 of its contents. The ‘generalizations’ were based on my reading and knowledge of Arrow (1974), March and Simon (1958; 1993), in addition to many of Simon’s contribution, from 1947 to his Raffaele Mattioli Lectures of 1997. Fortunately for me, the author whose book I was guilty of borrowing from Christophe, did not refer to, or use, Arrow (ibid), March and Simon (ibid) and, of course, any of Simon’s important work on Organisations, particularly in Chap. 7 of the book by the subsequently ‘discredited’ author. This version is on entirely different topics.
- 2.
To the best of my knowledge, this paper is not listed in Deissenberg’s 2017 CV, which was kindly provided by one of the editors; but that does not make it any the less important.
- 3.
The idea, and its implementation, by Frisch, in a quantitative model of the Indian economy, goes back, at least, to the early 1950s (see, Goodwin 1992, pp. 22–24). The section in Frisch’s Nobel Prize Lecture, refer to The preference function, p. 23, ff., in Frisch (1970); the whole of Frisch (1972) is on the construction of an iterative mechanism to elicit, by way of structured questions—subject to modification in the light of experiences—by an econometrician (as defined ‘classically’ by Frisch), to elicit answers by politicians, to determine their preference functions. Deissenberg’s eminently realistic assumption of ‘partially conflicting goals’ (op.cit, p. 1) by a multiplicity of agents reflects Frisch’s considerations of eliciting and revising politicians’ preference functions, iteratively, till ‘some sort of consistency’ is achieved.
- 4.
He was just over 30 years of age, when the first draft of Deissenberg (1977) was originally prepared. The substance of that paper of the mid-1970s has retained its freshness, relevance and topicality for the ensuing four decades, and some.
- 5.
In the sense of efficient being from a well-defined maximum set. In a choice situation, it is as feasible to choose efficiently as to assume some form of Zorn’s Lemma (or an unrestricted Axiom of Choice).
- 6.
The model in Arrow-Debreu (op.cit) is over the real numbers; by the way, for many reasons, Scarf’s algorithm is not constructive—but it is possible to construct an algorithm over the reals so that Arrow’s assertion is justified. The computations and optimisations in all of Deissenberg’s models, to the best of my knowledge, are over the real numbers, to which the same comment applies (cf. Feferman 2013, Chap. 3 and Fenstad 1980).
- 7.
This is the ‘suggested’ bibliographic entry—but the paper itself appeared as a chapter in volume 2 of Concepts and Tools of Computer-Assisted Analysis, Birkhauser Verlag 1977, Basel, edited by H. Bossel. Eden’s extensive review of the chapter version in the book, which is ‘literally’ the same as above.
- 8.
This is the case in Scarf’s algorithmic method of finding an approximation to a general economic equilibrium of Arrow-Debreu type (cf., Scarf 1973, p. 52).
- 9.
Eden does go on, on the next page of his enlightening review article (p. 353; italics added):
- 10.
The two reading heads need not move simultaneously; they can move, such that one is a computable function of the other.
- 11.
Algorithms can be more general than computable functions (See Gurevich 2012).
- 12.
Except Gandy (1980), and a few others, who referred to Turing’s version of it as the Turing Theorem (actually as Theorem T, on p. 124, Gandy, ibid).
- 13.
As will be made clear in the next section, these are identified, in the Deissenberg Problem, with the feasible and efficient sets, respectively.
- 14.
I am particularly indebted to item 3, in the anonymous referee’s comments, for helping me clarify this point.
- 15.
For simplicity, and in the interests of conciseness, we shall assume a reader is familiar with the framework and assumptions of Putnam (op.cit).
- 16.
The questions by the model-builder and the answers by, say, the agent—who may be a political or economic decision-maker, are, at best, rational numbers, which can be coded (for example by Gödel numbering) in terms of positive integers. The rational numbers are, in any case, enumerable (cf., for example, Hardy 1908 [1960], p. 1, Example 4). However, as pointed out in footnote 4, above, it is not too difficult to do the same exercise for real number domain and range, as is the case in the case of Deissenberg (1977)—and, in fact, all of the computational examples in the Deissenberg Oeuvre.
- 17.
I daresay that it was also a starting point for many of Christoph Deissenberg’s rich speculations in the decision sciences.
- 18.
The referee (anonymous) points out that, delineating decidable and undecidable sets is in itself an (algorithmically) undecidable problem; this is, strictly speaking, incorrect. The correctness of the assertion depends on the structure of the set(s) under consideration. I have always maintained that Simon worked with sets that were complete (as above) and, therefore all of them were recursive.
References
Arrow, K. J. (1974). The limits of organization. New York: W. W. Norton & Company Inc.
Arrow, K. J., & Debreu, G. (1954). Existence of an equilibrium for a competitive economy. Econometrica, 22(3), 265–290.
Barnett, W. A., Deissenberg, C., & Feichtinger, G. (Eds.). (2004). Economic complexity: Non-linear dynamics, multi-agents economies and learning. UK: Emerald Group Publishing Limited.
March, J. G., & Simon, H. A. (1958; 1993). Organizations, 2nd ed. Oxford, UK: Blackwell Publishers.
Davis, M. (1958). Computability and unsolvability. New York: McGraw-Hill Book Company.
Deissenberg, C. (1977). Man-machine interaction as an answer to the multiple-goal problem. Diskussionsbeiträge des Fachbereichs Wirtschaftswissenschaften der Universität Konstanz, No. 94, Fachbereich Wirtschaftswissenschaften, Universität Konstanz, Konstanz.
Deissenberg, C., & Iori, G. (2006). Introduction. Journal of Economic Behavior and Organization, 61(4), 521–524.
Deissenberg, C., & Nyssen, J. (1998). A simple model of schumpeterian growth with complex dynamics. Journal of Economic Dynamics and Control, 22(2), 247–266.
Eden, C. (1978). Computer assisted policy analysis: Contributions from Germany. Policy Sciences, 9(3), 345–360.
Feiwel, G. R. (1987). Arrow and the ascent of modern economic theory. In K. J. Arrow (Ed.), Part I: The makers of modern general equilibrium theory, oral history I: An interview (pp. 191–242). London: The Macmillan Press Ltd.
Feferman, S. (2013). About and around computing over the reals. In Computability: Turing, Gödel, Church, and beyond (pp. 55–76). Cambridge, Massachusetts: The MIT Press.
Fenstad, J. E. (1980). General recursion theory: An axiomatic approach. Berlin: Springer-Verlag.
Frisch, R. (1970). From utopian theory to practical applications: The case of econometrics. Nobel Lecture, 17th June.
Frisch, R. (1972). Cooperation between politicians and econometricians on the formalization of political preferences. University of Oslo, Institute of Economics, Reprint Series, No. 90.
Gandy, R. (1980). Church’s thesis and principles for mechanisms. In J. Barwise, H. J. Keisler & K. Kunen (Eds.), The Kleene Symposium (pp. 123, 148). Amsterdam: North-Holland Publishing Company.
Goodwin, R. M. (1992). An eccentric reminiscence of Ragnar Frisch. In Nonlinearities, disequilibria and simulation: Quantitative methods in the stabilization of macrodynamic systems – Essays in honoour of Björn Thalberg (pp. 22–24). Houndmills, Basingstoke, Hampshire, UK: The Macmillan Press Ltd.
Gurevich, Y. (2012). Foundational analyses of computation. In S. Barry Cooper, A. Dawar & B. Löwe (Eds.), How the world computes (pp. 264–275). Berlin: Springer-Verlag.
Hardy, G. H. (1908, [1960]). A course of pure mathematics, 10th ed. London: E.L.B.S, Cambridge University Press.
Li, M., & Vitanyi, P. (1993). An introduction to Kolmogorov complexity and its applications. New York: Springer-Verlag.
Johansen, L. (1974). Establishing preference functions for macroeconomic decision models: Some observations on Ragnar Frisch’s contribution. European Economic Review, 5(1), 41–66.
Kleene, S. C. (1943). Recursive predicates and quantifiers. Transactions of the American Mathematical Society, 53(1), 41–73.
Kleene, S. C. (1952). Introduction to metamathematics. Princeton, New Jersey: D. Van Nostrand Company Inc.
Machtey, M., & Young, P. (1978). An introduction to the general theory of algorithms. New York: North-Holland.
Post, E. L. (1944). Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, 50(5), 284–316.
Putnam, H. (1965). Trial and error predicates and the solution to a problem of Mostowski. The Journal of Symbolic Logic, 30(1), 49–57.
Scarf, H. (1973). The computation of economic equilibria (with the collaboration of Terje Hansen). New Haven, CT: Yale University Press.
Soare, R. I. (2013). Interactive computing and relativized computability. In B. Jack Copeland, C. J. Posy & O. Shagrir (Eds.), Computability: Turing, Gödel, Church, and beyond (pp. 203–260). Cambridge, Massachusetts: The MIT Press.
Soare, R. I. (2016). Turing computability: Theory and applications. Berlin: Springer-Verlag.
Turing, A. M. (1936–37). On computable numbers, with an application to the Entscheidungs problem. Proceedings of the London Mathematical Society, 42(2), 230–265.
Turing, A. M. (1937). On computable numbers, with an application to the Entscheidungs problem: A correction. Proceedings of the London Mathematical Society, 43(2), 544–546.
Turing, A. M. (1939). Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 45(2), 161–228.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Vela Velupillai, K. (2021). Oracle and Interactive Computations, Post-turing Thesis and Man–Machine Interactions. In: Dawid, H., Arifovic, J. (eds) Dynamic Analysis in Complex Economic Environments. Dynamic Modeling and Econometrics in Economics and Finance, vol 26. Springer, Cham. https://doi.org/10.1007/978-3-030-52970-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-52970-3_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-52969-7
Online ISBN: 978-3-030-52970-3
eBook Packages: Economics and FinanceEconomics and Finance (R0)