# 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] José Madrid, João P. G. Ramos. On optimal autocorrelation inequalities on the real line. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2020271 [2] Héctor Barge. Čech cohomology, homoclinic trajectories and robustness of non-saddle sets. Discrete & Continuous Dynamical Systems - A, 2020  doi: 10.3934/dcds.2020381 [3] Yifan Chen, Thomas Y. Hou. Function approximation via the subsampled Poincaré inequality. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 169-199. doi: 10.3934/dcds.2020296 [4] Shasha Hu, Yihong Xu, Yuhan Zhang. Second-Order characterizations for set-valued equilibrium problems with variable ordering structures. Journal of Industrial & Management Optimization, 2020  doi: 10.3934/jimo.2020164 [5] Omid Nikan, Seyedeh Mahboubeh Molavi-Arabshai, Hossein Jafari. Numerical simulation of the nonlinear fractional regularized long-wave model arising in ion acoustic plasma waves. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020466 [6] Adrian Constantin, Darren G. Crowdy, Vikas S. Krishnamurthy, Miles H. Wheeler. Stuart-type polar vortices on a rotating sphere. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 201-215. doi: 10.3934/dcds.2020263 [7] Tommi Brander, Joonas Ilmavirta, Petteri Piiroinen, Teemu Tyni. Optimal recovery of a radiating source with multiple frequencies along one line. Inverse Problems & Imaging, 2020, 14 (6) : 967-983. doi: 10.3934/ipi.2020044 [8] Reza Lotfi, Zahra Yadegari, Seyed Hossein Hosseini, Amir Hossein Khameneh, Erfan Babaee Tirkolaee, Gerhard-Wilhelm Weber. A robust time-cost-quality-energy-environment trade-off with resource-constrained in project management: A case study for a bridge construction project. Journal of Industrial & Management Optimization, 2020  doi: 10.3934/jimo.2020158 [9] Bahaaeldin Abdalla, Thabet Abdeljawad. Oscillation criteria for kernel function dependent fractional dynamic equations. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020443 [10] Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of a Sobolev type impulsive functional evolution system in Banach spaces. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020049 [11] Meng Chen, Yong Hu, Matteo Penegini. On projective threefolds of general type with small positive geometric genus. Electronic Research Archive, , () : -. doi: 10.3934/era.2020117 [12] M. S. Lee, H. G. Harno, B. S. Goh, K. H. Lim. On the bang-bang control approach via a component-wise line search strategy for unconstrained optimization. Numerical Algebra, Control & Optimization, 2021, 11 (1) : 45-61. doi: 10.3934/naco.2020014 [13] Weiwei Liu, Jinliang Wang, Yuming Chen. Threshold dynamics of a delayed nonlocal reaction-diffusion cholera model. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020316 [14] Manil T. Mohan. First order necessary conditions of optimality for the two dimensional tidal dynamics system. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020045 [15] Cuicui Li, Lin Zhou, Zhidong Teng, Buyu Wen. The threshold dynamics of a discrete-time echinococcosis transmission model. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020339 [16] Shao-Xia Qiao, Li-Jun Du. Propagation dynamics of nonlocal dispersal equations with inhomogeneous bistable nonlinearity. Electronic Research Archive, , () : -. doi: 10.3934/era.2020116 [17] Ebraheem O. Alzahrani, Muhammad Altaf Khan. Androgen driven evolutionary population dynamics in prostate cancer growth. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020426 [18] Lingfeng Li, Shousheng Luo, Xue-Cheng Tai, Jiang Yang. A new variational approach based on level-set function for convex hull problem with outliers. Inverse Problems & Imaging, , () : -. doi: 10.3934/ipi.2020070 [19] Suhaib Abduljabbar Altamir, Zakariya Yahya Algamal. Improving whale optimization algorithm for feature selection with a time-varying transfer function. Numerical Algebra, Control & Optimization, 2021, 11 (1) : 87-98. doi: 10.3934/naco.2020017 [20] Mengni Li. Global regularity for a class of Monge-Ampère type equations with nonzero boundary conditions. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2020267

Impact Factor: