The incompleteness of theories of games

Journal of Philosophical Logic

Volumn 27, Issue 6, 1998, Pages 553-568

  Tsuji, Marcelo ^a   Da Costa, Newton C A ^a   Doria, Francisco A ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b FEDERAL UNIVERSITY OF JUIZ DE FORA   (Brazil)

Author keywords

Chaitin; Incompleteness; Noncooperative games; Richardson's functor; Undecidability

Indexed keywords

EID: 54649083047     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004220919753     Document Type: Article

References (20)

1. Bacharach, M. and Mongin, P. (eds), Theory and Decision, special issue 37 (1994).
2. Casti, J. L. and Traub, J. F., 'On limits', Santa Fe Institute Publications 94-10-056 (1994).
3. Casti, J. L. and Karlqvist, A. (eds), Boundaries and Barriers, Addison-Wesley (1996).
4. da Costa, N. C. A. and Chuaqui, R., 'On Suppes' Set-Theoretical Predicates', Erkenntnis 29 (1988), 95-112.
5. da Costa, N. C. A. and Doria, F. A., 'Undecidability and Incompleteness in Classical Mechanics', International Journal of Theoretical Physics 30 (1991), 1041-1073.
6. da Costa, N. C. A. and Doria, F. A., 'Classical Physics and Penrose's Thesis', Foundations of Physics Letters 4 (1991), 363-373.
7. da Costa, N. C. A. and Doria, F. A., 'Suppes Predicates and the Construction of Unsolvable Problems in the Axiomatized Sciences', in P. Hunmpreys (ed.), Patrick Suppes, Scientific Philosopher, Vol. II, Kluwer (1994), 151-191.
8. da Costa, N. C. A. and Doria, F. A., 'Gödel Incompleteness, Explicit Expressions for Complete Degrees and Applications', Complexity 1 (1995), 40-55.
9. da Costa, N. C. A. and Doria, F. A., 'Independence of WPH for the Satisfiability Problem from the Axioms of Set Theory,' 11th Brazilian Symposium on Artificial Intelligence, Curitiba (PR, Brazil, 1996).
10. da Costa, N. C. A., Doria, F. A. and Furtado do Amaral, A. F., 'A Dynamical System where proving Chaos is equivalent to proving Fermat's Conjecture,' International Journal of Theoretical Physics 32 (1993), 2187-2206.
11. da Costa, N. C. A., Doria, F. A. and Tsuji, M., 'The Undecidability of Formal Definitions in the Theory of Finite Groups,' Bulletin of the Section of Logic 24 (1995), 56-63.
12. Davis, M., 'Hilbert's Tenth Problem is Unsolvable,' in Computability and Unsolvability, 2nd. edition, Dover (1982).
13. Doria, F.A., 'Some new incompleteness theorems and their import to the foundations of mathematics,' Preprint Griffo (1997).
14. Jones, J. P., 'Universal Diophantine equations,' Journal of Symbolic Logic 47 (1982), 549-571.
15. Harrop, R., Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 7 (1961), 136-140.
16. Lewis, A. A., 'On Turing Degrees of Walrasian Models and a General Impossibility Result in the Theory of Decision Making,' Preprint, Univ. of California at Irvine, School of Social Sciences (1991).
17. Lewis, A. A. and Inagaki, Y., 'On the Effective Content of Theories,' Preprint, Univ. of California at Irvine, School of Social Sciences (1991).
18. Prasad, K., 'Computability and Randomness of Nash Equilibrium in Infinite Games', Journal of Mathematical Economics 20 (1991), 429-442.
19. Seligman, B. B., Main Currents in Modern Economics, I-III, Quadrangle Books, Chicago (1971).
20. Stewart, I., 'Deciding the Undecidable', Nature 352 (1991), 664-665.