Computability and Complexity in Games
AbstractThe paper is organized as follows. In the next section there is a detailed description of the Rabin model and an exhaustive discussion; there is also an introductory discussion and statement of Jones's variation of the Rabin game (Jones, 1974). The reason for the disproportionately long 2 are twofold: one, it gives me a chance to describe the imaginative way Rabin stripped away the noneffective content of the Gale-Stewart game; secondly, via Jones's modified version of Rabin's model I get, eventually, the chance to introduce, in the proofs, the busy beaver game. It may be useful, for the uninitiated in recursion theory, to know how an explicit noncomputable function is actually constructed and then to literally see the nature of the dimensional monstrosities inherent even in deceptively simple-looking constructions. This background will prepare the sceptical reader to the melancholy fact that most games, even when determined and playable, are intractably complex.
Download InfoIf you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
Bibliographic InfoPaper provided by University of California at Los Angeles, Center for Computable Economics in its series Working Papers with number _010.
Date of creation:
Date of revision:
This paper has been announced in the following NEP Reports:
- NEP-ALL-1999-11-01 (All new papers)
- NEP-CMP-1999-11-20 (Computational Economics)
- NEP-GTH-1999-12-21 (Game Theory)
- NEP-IND-1999-11-01 (Industrial Organization)
You can help add them by filling out this form.
CitEc Project, subscribe to its RSS feed for this item.
- K. Vela Velupillai, 2011. "The Fundamental Theorems of Welfare Economics, DSGE and the Theory of Policy - Computable & Constructive Foundations," ASSRU Discussion Papers, ASSRU - Algorithmic Social Science Research Unit 1125, ASSRU - Algorithmic Social Science Research Unit.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Thomas Krichel).
If references are entirely missing, you can add them using this form.