Some notes on Church's thesis and the theory of games

DOI10.1007/BF00134103zbMath0697.68055OpenAlexW2026387762MaRDI QIDQ911776

Luca Anderlini

Publication date: 1990

Published in: Theory and Decision (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00134103

zbMATH Keywords

Church's thesisrecursive setsrecursive functionsknowledge operatornormal-form gamesrational playersset of rational playersTuring Machines

Mathematics Subject Classification ID

Related Items (11)

On the logic of common belief and common knowledge ⋮ Non-computable rational expectations equilibria ⋮ Robust program equilibrium ⋮ Bounded rationality, strategy simplification, and equilibrium ⋮ The Gödelian Foundations of Self-Reference,the Liar and Incompleteness: Arms Racein Complex Strategic Innovation ⋮ Game Theory and Strategic Complexity ⋮ The logical representation of extensive games ⋮ Cooperation and computability in \(n\)-player games ⋮ Growth of strategy sets, entropy, and nonstationary bounded recall ⋮ Communication, computability, and common interest games ⋮ Forecasting errors and bounded rationality: An example

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cooperation in the prisoner's dilemma
• Bounded complexity justifies cooperation in the finitely repeated prisoners' dilemma
• Finite automata play the repeated prisoner's dilemma
• Belief, awareness, and limited reasoning
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Some notes on Church's thesis and the theory of games