# American Institute of Mathematical Sciences

July  2017, 4(3): 255-284. doi: 10.3934/jdg.2017015

## Complex type 4 structure changing dynamics of digital agents: Nash equilibria of a game with arms race in innovations

 Economics Department, University of Essex, Wivenhoe Park, Colchester, UK

* Corresponding author: Sheri M. Markose

Received  April 2016 Revised  April 2017 Published  July 2017

Fund Project: I'm grateful for constructive comments from an anonymous referee, which have improved the quality and structure of the paper. I have benefitted from encouragement from Noam Chomsky and from recent discussions with Jeffrey Johnson and Thanos Yannacopoulos, respectively, at the Global Systems Science Conference in Genoa in November 2015 and at the 2015 AUEB 12th Annual Summer School, where this paper was given. At the 2014 ESRC funded Diversity in Macroeconomics Conference, I had the chance to assemble Vittorio Gallese, Scott Kelso and Eshel Ben-Jacob, who helped me take this field to a new frontier. Over the years, there have been discussions with Steve Spear, Peyton Young, Aldo Rustichini, Ken Binmore, Arthur Robson, Kevin McCabe, Steven Durlauf, Shyam Sunder, James Foster and Vela Velupillai. I appreciate discussions with the students who attend my Complexity Economics lectures at the University of Essex, and those who have done dissertations on this such as Alexander Thierschmidt.

The new digital economy has renewed interest in how digital agents can innovate. This follows the legacy of John von Neumann dynamical systems theory on complex biological systems as computation. The Gödel-Turing-Post (GTP) logic is shown to be necessary to generate innovation based structure changing Type 4 dynamics of the Wolfram-Chomsky schema. Two syntactic procedures of GTP logic permit digital agents to exit from listable sets of digital technologies to produce novelty and surprises. The first is meta-analyses or offline simulations. The second is a fixed point with a two place encoding of negation or opposition, referred to as the Gödel sentence. It is postulated that in phenomena ranging from the genome to human proteanism, the Gödel sentence is a ubiquitous syntactic construction without which escape from hostile agents qua the Liar is impossible and digital agents become entrained within fixed repertoires. The only recursive best response function of a 2-person adversarial game that can implement strategic innovation in lock-step formation of an arms race is the productive function of the Emil Post [58] set theoretic proof of the Gödel incompleteness result. This overturns the view of game theorists that surprise and innovation cannot be a Nash equilibrium of a game.

Citation: Sheri M. Markose. Complex type 4 structure changing dynamics of digital agents: Nash equilibria of a game with arms race in innovations. Journal of Dynamics & Games, 2017, 4 (3) : 255-284. doi: 10.3934/jdg.2017015
##### References:

show all references

##### References:
Prediction Function, Meta–Information on Outcomes and Dynamics of 2-person Turing Machine Game
Mirror Neurons As Offline Simulations for Mutual Predictions with Self and Other as Gödel 2-Place Substitution Function for Meta-Analysis (Rogers [61,p.202-204])
The Incompleteness of $p$'s Nash Equilibrium Strategy Set $\mathbf{B}_p$. Note that the arrow denotes the many-one recursive reduction of Lemma 3.8 using the second subroutine $f_p \sigma(b_a^{\neg},b_a^{\neg})=b^2$ for the surprise strategy function in (20) from the recursively enumerable subset $\mathbf{W}_{\sigma_n^{\neg}}$ of the archetypical productive set $\mathbf{\tilde{C}}$ in Lemma 6.1 to the Surprise Strategy set $\mathbf{W}_{\sigma_n^{!}}$, of Theorem 6.2 yielding the productive surprise strategy function $f_p^{E!}$ with $g.n(b^2(g(\sigma_n^{\neg})))$
Arms Race in Surprises/Innovations: Productive Function Growth of the Surprise Strategy Set (see equation (25))(NB g.n: Gödel number)
 [1] Junichi Minagawa. On the uniqueness of Nash equilibrium in strategic-form games. Journal of Dynamics & Games, 2020, 7 (2) : 97-104. doi: 10.3934/jdg.2020006 [2] Enkhbat Rentsen, Battur Gompil. Generalized Nash equilibrium problem based on malfatti's problem. Numerical Algebra, Control & Optimization, 2021, 11 (2) : 209-220. doi: 10.3934/naco.2020022 [3] Johannes Kellendonk, Lorenzo Sadun. Conjugacies of model sets. Discrete & Continuous Dynamical Systems - A, 2017, 37 (7) : 3805-3830. doi: 10.3934/dcds.2017161 [4] Raj Kumar, Maheshanand Bhaintwal. Duadic codes over $\mathbb{Z}_4+u\mathbb{Z}_4$. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2020135 [5] Jan Prüss, Laurent Pujo-Menjouet, G.F. Webb, Rico Zacher. Analysis of a model for the dynamics of prions. Discrete & Continuous Dynamical Systems - B, 2006, 6 (1) : 225-235. doi: 10.3934/dcdsb.2006.6.225 [6] Simone Calogero, Juan Calvo, Óscar Sánchez, Juan Soler. Dispersive behavior in galactic dynamics. Discrete & Continuous Dynamical Systems - B, 2010, 14 (1) : 1-16. doi: 10.3934/dcdsb.2010.14.1 [7] Martial Agueh, Reinhard Illner, Ashlin Richardson. Analysis and simulations of a refined flocking and swarming model of Cucker-Smale type. Kinetic & Related Models, 2011, 4 (1) : 1-16. doi: 10.3934/krm.2011.4.1 [8] Andrea Cianchi, Adele Ferone. Improving sharp Sobolev type inequalities by optimal remainder gradient norms. Communications on Pure & Applied Analysis, 2012, 11 (3) : 1363-1386. doi: 10.3934/cpaa.2012.11.1363 [9] Alexander A. Davydov, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco. Linear nonbinary covering codes and saturating sets in projective spaces. Advances in Mathematics of Communications, 2011, 5 (1) : 119-147. doi: 10.3934/amc.2011.5.119 [10] Christina Surulescu, Nicolae Surulescu. Modeling and simulation of some cell dispersion problems by a nonparametric method. Mathematical Biosciences & Engineering, 2011, 8 (2) : 263-277. doi: 10.3934/mbe.2011.8.263 [11] Hailing Xuan, Xiaoliang Cheng. Numerical analysis and simulation of an adhesive contact problem with damage and long memory. Discrete & Continuous Dynamical Systems - B, 2021, 26 (5) : 2781-2804. doi: 10.3934/dcdsb.2020205 [12] Sara Munday. On the derivative of the $\alpha$-Farey-Minkowski function. Discrete & Continuous Dynamical Systems - A, 2014, 34 (2) : 709-732. doi: 10.3934/dcds.2014.34.709 [13] Haibo Cui, Haiyan Yin. Convergence rate of solutions toward stationary solutions to the isentropic micropolar fluid model in a half line. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020210 [14] Ademir Fernando Pazoto, Lionel Rosier. Uniform stabilization in weighted Sobolev spaces for the KdV equation posed on the half-line. Discrete & Continuous Dynamical Systems - B, 2010, 14 (4) : 1511-1535. doi: 10.3934/dcdsb.2010.14.1511 [15] Juan Manuel Pastor, Javier García-Algarra, Javier Galeano, José María Iriondo, José J. Ramasco. A simple and bounded model of population dynamics for mutualistic networks. Networks & Heterogeneous Media, 2015, 10 (1) : 53-70. doi: 10.3934/nhm.2015.10.53 [16] Yila Bai, Haiqing Zhao, Xu Zhang, Enmin Feng, Zhijun Li. The model of heat transfer of the arctic snow-ice layer in summer and numerical simulation. Journal of Industrial & Management Optimization, 2005, 1 (3) : 405-414. doi: 10.3934/jimo.2005.1.405 [17] Emma D'Aniello, Saber Elaydi. The structure of $\omega$-limit sets of asymptotically non-autonomous discrete dynamical systems. Discrete & Continuous Dynamical Systems - B, 2020, 25 (3) : 903-915. doi: 10.3934/dcdsb.2019195 [18] Ralf Hielscher, Michael Quellmalz. Reconstructing a function on the sphere from its means along vertical slices. Inverse Problems & Imaging, 2016, 10 (3) : 711-739. doi: 10.3934/ipi.2016018 [19] Paula A. González-Parra, Sunmi Lee, Leticia Velázquez, Carlos Castillo-Chavez. A note on the use of optimal control on a discrete time model of influenza dynamics. Mathematical Biosciences & Engineering, 2011, 8 (1) : 183-197. doi: 10.3934/mbe.2011.8.183 [20] Guirong Jiang, Qishao Lu. The dynamics of a Prey-Predator model with impulsive state feedback control. Discrete & Continuous Dynamical Systems - B, 2006, 6 (6) : 1301-1320. doi: 10.3934/dcdsb.2006.6.1301

Impact Factor:

## Tools

Article outline

Figures and Tables