Journal of Philosophical Logic 27 (6):553-568 (1998)
We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.
|Keywords||Chaitin incompleteness noncooperative games Richardson's functor undecidability|
|Categories||categorize this paper)|
References found in this work BETA
On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95 - 112.
On the Existence of Very Difficult Satisfiability Problems.N. C. A. da Costa & F. A. Doria - forthcoming - Bulletin of the Section of Logic.
The Undecidability of Formal Definitions in the Theory of Finite Groups.Newton Ca da Costa, Francisco A. Doria & Marcelo Tsuji - 1995 - Bulletin of the Section of Logic 24:56-63.
Gödel Incompleteness, Explicit Expressions for Complete Arithmetic Degrees and Applications.N. C. A. Da Costa & F. A. Doria - 1995 - Complexity 1 (3):40-55.
Citations of this work BETA
No citations found.
Similar books and articles
An Analysis of Stability Sets in Pure Coordination Games.Walter Elberfeld - 2000 - Theory and Decision 49 (3):235-248.
Existence of Mixed Strategy Equilibria in a Class of Discontinuous Games with Unbounded Strategy Sets.Alexander Matros - unknown
Undecidability, Incompleteness and Arnol'D Problems.C. A. da Costa Newton & A. Doria Francisco - 1995 - Studia Logica 55 (1):23 - 32.
Congestion Models and Weighted Bayesian Potential Games.Giovanni Facchini, Freek van Megen, Peter Borm & Stef Tijs - 1997 - Theory and Decision 42 (2):193-206.
Brown-Von Neumann-Nash Dynamics: The Continuous Strategy Case.Joerg Oechssler, Josef Hofbauer & Frank Riedel - manuscript
Undecidability, Incompleteness and Arnold Problems.Newton C. A. Costa & Francisco A. Doria - 1995 - Studia Logica 55 (1).
Added to index2009-01-28
Total downloads66 ( #77,408 of 2,153,858 )
Recent downloads (6 months)4 ( #184,516 of 2,153,858 )
How can I increase my downloads?