Abstract
Self-referential calculations of oppositional or contrarian structures and the necessity to innovate to outsmart hostile agents in an arms race are ubiquitous in socio-economic systems, immunology and evolutionary biology. However, such phenomena with strategic innovation, which entails novel actions beyond listable sets, are outside the ambit of extant game theory. How can strategic innovation with novel actions be a Nash equilibrium of a game? Based on the only known Gödel-Turing-Post (GTP) axiomatic framework on meta-analyses of offline simulations that involve recursive operations on encoded information, we show that mutually mentalising agents capable of such offline simulations can “think outside the box” and embark on an arms race in novelty or surprises. A key logical ingredient of this is the self-referential encoding of a proposition on mutual negation or opposition, often referred to as the Gödel sentence. The only recursive best response function of a two-person game with an oppositional structure that can implement strategic innovation in a lock-step formation of an arms race is the productive function of the Emil Post set theoretic proof of the Gödel incompleteness result.
The original version of this chapter was revised. An erratum to this chapter can be found at DOI 10.1007/978-3-319-32543-9_20
An erratum to this chapter can be found at http://dx.doi.org/10.1007/978-3-319-32543-9_20
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
These include the EC FP 7 calls, the Horizon 20–20 Global Systems Science initiatives and the UK Economic and Social Research Council (ESRC) endeavours at the Oxford Symposium of 2012 and the 2014 Essex Diversity in Macroeconomics conference. The latter aimed at breaking up the monoculture in mainstream economics by bringing together developments from at least three new branches of economics. These include, agent-based computational, complexity and behavioural economics. The aim of the highly interdisciplinary studies of computational and digital technologies, complexity sciences and neurophysiology of the brain is to address erstwhile gaps and controversies in the micro- and macroscopic aspects of socio-economic interactions.
- 2.
The Red Queen, the character in Lewis Carol’s Alice Through the Looking Glass, who signifies the need “to run faster and faster to stay in the same square” has become emblematic of the outcome of competitive co-evolution for evolutionary biologists in that no competitor gains absolute ground; see Markose (2005).
- 3.
Even though Durlauf (2012) notes that economics as a science is still evolving, he does not think it needs any substantive ‘paradigm’ shifts or new foundational studies to understand and model economic systems as complex adaptive systems. Of the issues on non-linearity, heterogeneity and interconnectedness that Durlauf (2012) considers, the latter two, along with the use of agent-based simulation models, are relatively new approaches in the literature (see Tesfatsion and Judd 2006). In the UK, there are no more than a dozen economists who pursue these nonmainstream approaches.
- 4.
One of the more prescient of macroeconomists, William White, has recently stated “it seems to me that nobody on the regulatory (and macroeconomics) side has really got to grips with the reality of this constant innovation” (Financial Times, June 25, 2014).
- 5.
Arthur (1993) argues for the need to take a computational perspective to model complexity.
- 6.
Sayama (2008) suggests that routine programs called quines appended to the end of other programs to read, copy and ‘print’ are important building blocks in self-replication algorithms.
- 7.
The neurons that fire with actual action execution are called canonical neurons, Arbib and Fagg (1998), and represent online machine executions in the GTP logic.
- 8.
Since antiquity, it has been known that self-refuting statements generate paradoxes as in the Cretan Liar proposition: this is false. Gödel’s analogue of the Liar proposition is the undecidable proposition. The latter, denoted as A, has the following structure: A ↔ ∼ | − (A). That is, A says of itself that it is not provable ( ∼ | −). However, unlike the Cretan Liar, there is no paradox in Gödel’s undecidable proposition as it can be proved that this is so. Any attempt to prove the proposition A results in a contradiction with both A and ∼ A, its negation being provable in the system. Simmons (1993, p. 29) has noted how with the Cantor diagonal lemma (which was used to prove that the power set of a set has greater cardinality than a set) we begin to have so-called ‘good’ uses of self-refuting structures that result in theorems rather than paradoxes.
- 9.
It is beyond the scope of this paper to discuss certain anti-machine views of Ben-Jacob (1998) which makes claims for semantic knowledge that goes beyond sub-personal syntactic expression of the Gödel sentence.
- 10.
F.A. Hayek is the first economist to have discussed the implications for economics that arise from the problems of non-computability that he called the limits of constructive reason and on the possibility that the brain manifests Gödel incompleteness (Hayek 1952, 1967). Hayek seminally redirected the discussion on the limits of deductive inference from Humean scepticism to the Gödel logic of incompleteness (Markose 2002, 2005) and indeed brought this to my attention by instructing me to read his book on the Sensory Order (1952). However, Hayek’s own account of this did not go beyond the Cantor diagonal lemma (see footnote 9), which led him to a view on cognitive incompleteness that there is much knowledge that cannot be formally enumerated.
- 11.
Byrne and Whiten (1999) have presented extensive evidence on the development of the Machiavellian Brain.
- 12.
Koppl and Rosser (2002) attempt to characterise the Nash equilibrium of the zero sum game that depicts the machinations of a well-known oppositional game involving Holmes and Moriarty using recursive function theory. Moriarty, who seeks the demise of Holmes, has to be in proximity with him, while Holmes needs to elude Moriarty. They conclude as follows: ‘We can see that there are best-reply functions, f(x), such that \(f(x)\neq x,\ \forall \ x\). That is, there are best-reply functions without a fixed point. (A fixed point is defined by the condition that f(x) = x.)’. It will be shown that Gödel meta-representational system has no problem ‘referring’ to the fixed point of the best response function that seeks to negate or deceive as in the Holmes-Moriarty game. The important point here, therefore, is not that one or the other player has to find a best response function that does not have a fixed point, but that the fixed point of an important class of best response functions is not computable, and this undecidability is fully encoded from within the meta-representational system of the players.
- 13.
The first limitative result on functions computable by T.Ms is that at most there can only be a countable number of these with the cardinality of \(\aleph \) being denoted by \(\aleph _{0}\), while from Cantor we know that the set of all number theoretic functions have cardinality of \(2^{\aleph _{0}}\). Hence, not all number theoretic functions are computable (see Cutland 1980).
- 14.
Assume that there is a computable function f = ϕ y , whose domain W y = C ∼ . Now, if y ∈ W y , then y ∈ C ∼ as we have assumed C ∼ = W y . But, by the definition of C ∼ in (11.5) if y ∈ W y , then y ∈ C and not to C ∼ . Alternatively, if y ∉ W y , y ∉ C ∼ , given the assumption that C ∼ = W y . Then, again we have a contradiction, as since from (11.5) when y ∉ W y , y ∈ C ∼ . Thus, we have to reject the assumption that for some computable function f = ϕ y and that its domain W y = C ∼ .
- 15.
This is analogous to the proof in Smullyan (1961, p. 96, Chap. V, Proposition 2).
- 16.
If sentences in a formal system, denoted as FS, are provable and have the status of being theorems (proof being defined as the operation of a Turing machine that halts), then their negations are refutable in that it is known that they belong to the domain on which Turing machines will not halt when attempting their proofs. If a FS is complete, then the set of all sentences satisfies the condition that FS = TUR, where T and R, respectively, are the set of provable and refutable sentences. FS is consistent if T and R are disjoint. The subset of R that is recursively enumerable are negations of those propositions that are known to be provable. The set FS is said to be incomplete if TUR ⊂ FS. The Gödel (1931) incompleteness result and the set theoretic proof of this by Post (1944) provide a constructive proof of a sentence denoted as u such that u ∈ FS and u does not belong to TUR. The sentence u is undecidable and is the ‘witness’ that FS is incomplete.
- 17.
- 18.
- 19.
In Markose (2015), it is suggested that using environments suitable for neurophysiological experiments of such a game, it is interesting to identify the juncture at which a player p knows his best payoffs come from the out-of-equilibrium configuration wherein the other player g has to be kept in a state of false belief σ(b a ⇁ , b a ) given in Definition 7.
- 20.
It is beyond the scope of this paper to discuss why a complexity perspective on radical uncertainty has a bearing on the long tradition of liberal jurisprudence associated with Kant (1781) and Hayek (1960) that universalisable rules of just society are end neutral and have no predictable consequences that are person, place or time specific. It can be conjectured, along the lines of the famous dictum of Hirschman (1991) that certain rules that aim to achieve specific ends in society may lead to futility, perversity and jeopardy that culminates in system failure as a result of gaming and protean agents. Likewise, absenting predictability of outcomes is the basis of a no arbitrage equilibrium in many economic models.
References
Albin, P.: The metalogic of economic predictions, calculations and propositions. Math. Soc. Sci. 3, 329–358 (1982)
Albin, P.: In: Duncan F. (ed.) Barriers and Bounds to Rationality, Essays on Economic Complexity and Dynamics in Interactive Systems. Princeton University Press, Princeton (1998)
Anderlini, L.: Some notes on Church’s thesis and the theory of games. Theory Decis. 29, 19–52 (1990)
Anderlini, L., Sabourian, H.: Cooperation and effective computability. Econometrica 63, 1337–1369 (1995)
Arthur, W.B.: On the evolution of complexity. Working Paper, 93-11-070. Santa Fe Institute, Santa Fe, NM (1993)
Arthur, W.B.: Inductive reasoning and bounded rationality. Am. Econ. Rev. (Pap. Proc.) 84, 406–411 (1994)
Arbib, M., Fagg, A.: Modeling parietal-premotor interactions in primate control of grasping. Neural Netw. 11, 1277–1303 (1998)
Axelrod, R.: Risk in Networked Information Systems, Mimeo. Gerald R. Ford School of Public Policy, University of Michigan. (2003); Baumol, W.: The Free Market Innovation Machine. Princeton University Press, Princeton (2002)
Baumol, W.: The Free Market Innovation Machine. Princeton University Press, Princeton (2002)
Baumol, W.: Red Queen games: arms races, rule of law and market economies. J. Evol. Econ. 14 (2), 237–247 (2004)
Beinhocker, E.: Evolution as computation: integrating self-organization with generalized. J. Inst. Econ. 7 (3), 393–423 (2011)
Ben-Jacob, E.: Bacterial wisdom, Gödel’s theorem and creative genomic webs. Phys. A Stat. Mech. Appl. 248 (1), 57–76 (1998)
Bhatt, M., Camerer, C.: Self-referential thinking and equilibrium as states of mind in games: FMRI evidence. Games Econ. Behav. 52, 424–459 (2005)
Binmore, K.: Modelling rational players: Part 1. J. Econ. Philos. 3, 179–214 (1987)
Byrne, R., Whiten, A.: (1999) Machiavellian Intelligence: Social Expertise and the Evolution of Intellect in Monkeys, Apes, and Humans. Oxford University Press, Oxford (1988)
Canning, D.: Rationality, Computability and Nash equilibrium. Econometrica 60, 877–895 (1992)
Casti, J.: Complexification: Explaining a Paradoxical World Through the Science of Surprises. London Harper Collins, London (1994)
Colander, D.: The Complexity Vision and the Teaching of Economics, Cheltenham (2000)
Cutland, N.J.: Computability: an introduction to recursive function theory, Cambridge University Press. expectations, learning and convergence to rational expectations equilibrium. Am. Econ. Rev. 72, 652–68 (1980)
Durlauf, S.: Complexity, economics and public policy. Pol. Philos. Econ. 11 (1), 45–75 (2012)
Gallese, V., Sinigaglia, C.: What is so special about embodied simulation? Trends Cogn. Sci. 15 (11), 515 (2011)
Gallese, V., Fadiga, L., Fogassi, L., Rizzolatti, G.: Action recognition in the premotor cortex. Brain 119 (2), 593–609 (1996). doi: 10.1093/brain/119.2.593. PMID 8800951
Gödel, K.: On Formally Undecidable Propositions of Principia Mathematica and Related Systems [Translation in English in Gödel’s Theorem in Focus, ed. by S.G Shanker, 1988, Croom Helm] (1931) Goodhart C.: Central Bankers and Uncertainty, Keynes Lecture to the Royal Academy. Reprinted in the Bank of England Quarterly Bulletin, Feb, pp. 102–114 (1999)
Goodhart, C.: Central Bankers and Uncertainty, Keynes Lecture to the Royal Academy. Reprinted in the Bank of England Quarterly Bulletin, Feb, pp. 102–114 (1999)
Haldane, A.: Financial arms races, speech delivered at the institute for new economic thinking, Berlin, 14 April 2012
Hayek, F.A.: The Sensory Order. The University of Chicago Press, Chicago (1952)
Hayek, F.A.: The Constitution of Liberty. University of Chicago Press, Chicago (1960)
Hayek, F.A.: The Theory of Complex Phenomena. Studies in Philosophy, Politics, and Economics. The University of Chicago Press, Chicago (1967)
Hirschman, A.O.: The Rhetoric of Reaction: Perversity, Futility, Jeopardy. The Belknap Press of Harvard University Press, Cambridge (1991)
Holland, J.: Adaptation in Natural and Artificial Systems. MIT Press, Cambridge (1975)
Kant, I.: Critique of Pure Reason (1965). Translated by Norman Kemp Smith. St. Martin’s, New York (1781)
Koons, R.: Paradoxes of Beliefs and Strategic Rationality. Cambridge University Press, Cambridge (1992)
Koppl, R., Rosser B.: Everything i might say will already have passed through your mind. Metroeconomica 53 (4), 339–360 (2002)
Langton, C.: Life at the edge of chaos. In: Langton, G.C., Taylor, C., Doyne Farmer, J., Rasmussen, S. (eds.) Artificial Life II (Sante Fe Institute Studies in the Sciences of Complexity, vol. 10). Addison-Wesley, Reading (1992)
Markose, S.M.: The new evolutionary computational paradigm of complex adaptive systems: challenges and prospects for economics and finance. In: Chen, S.-H. (ed.) Genetic Algorithms and Genetic Programming in Computational Finance, pp. 443–484. Kluwer Academic Publishers, Boston (2002). Also Essex University Economics Department DP no. 552, July 2001
Markose, S.M.: Novelty in complex adaptive systems (CAS): a computational theory of actor innovation. Phys. A Stat. Mech. Appl. 344, 41–49 (2004). Fuller details in University of Essex, Economics Department. Discussion Paper No. 575, January 2004
Markose, S.M.: Computability and evolutionary complexity: markets as complex adaptive systems (CAS). Econ. J. 115, F159–F192 (2005)
Markose, S.M.: Mirroring, Offline Simulation and Complex Strategic Interactions: Coordination, Anti-Coordination and Innovation. University of Essex Mimeo, Essex (2015)
Nachbar, J.H., Zame,W.R.: Non-computable strategies and discounted repeated games. Econ. Theory 8, 111–121 (1996)
Osborne, M., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)
Post, E.: Recursively enumerable sets of positive integers and their decision problems. Bull. Am. Math. Soc. 50, 284–316 (1944)
Rizzolatti, G., Fadiga, L., Gallese, V., Fogassi, L.: Premotor cortex and the recognition of motor actions. Cogn. Brain Res. 3, 131–141 (1996)
Rogers, H.: Theory of Recursive Functions and Effective Computability. Mc Graw-Hill, New York (1967)
Sayama, H.: Construction theory, self-replication, and the halting problem. Complexity (2008). doi:10.1002/cplx
Schumpeter, J.A.: Capitalism, Socialism and Democracy, p. 139. Routledge, London (1994). ISBN 978-0-415-10762-4. (1942)
Simmons, K.: Universality of the Liar, Cambridge University Press, Cambridge (1993)
Smullyan, R.: Theory of Formal Systems. Princeton University Press, Princeton (1961)
Spear, S.: Learning rational expectations under computability constraints. Econometrica 57, 889–910 (1989)
Tesfatsion, L., Judd, K.L. (eds.): Handbook of Computational Economics: Volume2, Agent-Based Computational Economics. Handbooks in Economics Series, 904pp. Elsevier, North-Holland Imprint, Amsterdam (2006)
Tognoli, E., Lagarde, J., de Guzman, G.C., Kelso, J.A.S.: The phi complex as a neuromarker of human social coordination. Proc. Natl. Acad. Sci. USA 104 (19), 8190–8195 (2007)
Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 2 42, 230–265 (1937)
Wolfram, S.: Cellular automata as models of complexity. Physica 10D, 1–35 (1984)
Wolfram, S: A New Kind of Science. Wolfram Media, Inc., Champaign (2002)
Acknowledgements
I’m grateful for the interest at the 2015 AUEB 12th Annual Summer School in ideas relating to computability and complexity for economics. Discussions with AUEB Summer School participants in July 2015 and encouragement from Thanos Yannacouplos have contributed to this paper. Over the years, there have been discussions with Steve Spear, Peyton Young, Aldo Rustichini, Ken Binmore, Arthur Robson, Kevin McCabe, Steven Durlauf, Shyam Sunder and Vela Velupillai. The 2014 ESRC-funded Diversity in Macroeconomics Conference where I had the chance to assemble Vittorio Gallese, Scot Kelso and Eshel Ben Jacob has helped me to take this field to a new frontier. I have also benefitted from feedback from participants at invited Graduate lectures at the following institutions/workshops: 2012 Kiel Institute of the World Economy Summer School, 2010 Ruhr Bochum Economics Department invited Graduate lectures, 2009 Institute for Advanced Studies at Glasgow Workshop, 2002–2009 Lectures at the Centre for Computational Finance and Economic Agents and presently the new MSc Computational Economics, Financial Markets and Policy at the University of Essex.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Markose, S. (2016). The Gödelian Foundations of Self-Reference,the Liar and Incompleteness: Arms Racein Complex Strategic Innovation. In: Pinto, A., Accinelli Gamba, E., Yannacopoulos, A., Hervés-Beloso, C. (eds) Trends in Mathematical Economics. Springer, Cham. https://doi.org/10.1007/978-3-319-32543-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-32543-9_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32541-5
Online ISBN: 978-3-319-32543-9
eBook Packages: Economics and FinanceEconomics and Finance (R0)