More download options

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

Theory and Decision 29 (1):19-52 (1990) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

The Church-Turing Thesis in Philosophy of Computing and Information

Keywords

Church's thesis recursive functions recursive sets Turing machines normal-form games rational players set of rational players knowledge operator

Reprint years

DOI

10.1007/bf00134103

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 100,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Church's thesis without tears.Fred Richman - 1983 - Journal of Symbolic Logic 48 (3):797-803.

A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.

Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.

Rational Dynamics and Epistemic Logic in Games.Johan van Benthem - unknown

Mindreading and endogenous beliefs in games.Lauren Larrouy & Guilhem Lecouteux - 2017 - Journal of Economic Methodology 24 (3):318-343.

On the Interpretation of Church's Thesis.P. Cotogno - 1992 - Epistemologia 15 (2):315-350.

Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.

Interactive Epistemology and Reasoning: On the Foundations of Game Theory.C. W. Bach - unknown

Analytics

Added to PP
2013-01-04

Downloads
70 (#299,269)

6 months
13 (#253,178)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Modeling Bounded Rationality.Ariel Rubinstein - 1998 - MIT Press.

On the logic of common belief and common knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.

Common reasoning in games: A Lewisian analysis of common knowledge of rationality.Robin P. Cubitt & Robert Sugden - 2014 - Economics and Philosophy 30 (3):285-329.

Undecidability in the imitation game.Y. Sato & T. Ikegami - 2004 - Minds and Machines 14 (2):133-43.

Incomplete Contracts and Complexity Costs.Luca Anderlini & Leonardo Felli - 1999 - Theory and Decision 46 (1):23-50.

View all 6 citations / Add more citations

References found in this work

Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.

Modeling Rational Players: Part I.Ken Binmore - 1987 - Economics and Philosophy 3 (2):179-214.

Cooperation in the Prisoni.J. V. Howard - 1988 - Theory and Decision 24 (3):203.

View all 8 references / Add more references