Fetching the paper…
Reading the bibliography…
L\"ob's theorem and G\"odel's theorems make predictions about the behavior of systems capable of self-reference with unbounded computational resources with which to write and evaluate proofs.
Springer Berlin Heidelberg, 1934
“Logische Syntax der Sprache” 8 · 1934
Earlier work this paper cites.
Santa Monica, CA: RAND Corporation, 1958
“Re-Interpretation of the Solution Concept for \mkbibquote · 1958
Earlier work this paper cites.
In Journal of Conflict Resolution 2.3
“The Strategy of Conflict Prospectus for a Reorientation of Game Theory” · 1958
Earlier work this paper cites.
New HavenLondon: Yale University Press, 1966
“Arms and Influence” Written under the auspices of the Center for International Affairs, Harvard University, Henry L. Stimson Lectures · 1966
Earlier work this paper cites.
In Essays in Honor of Carl G. Hempel , Synthese Library 24
“Newcomb’s Problem and Two Principles of Choice” · 1969
Earlier work this paper cites.
In Foundations and Applications of Decision Theory 1.13
“Counterfactuals and Two Kinds of Expected Utility” · 1978
Earlier work this paper cites.
In Handbook of Proof Theory 137
“The Lengths of Proofs” · 1998
Cited alongside, same era.
New York: Oxford University Press, 2001
“Mathematical Logic: A Course with Exercises” · 2001
Cited alongside, same era.
In 19th Workshop on Combinatorial Mathematics and Computation Theory , 2002, pp. 192–195
“A Space-efficient Gödel Numbering with Chinese Remainder Theorem” · 2002
Cited alongside, same era.
In Games and Economic Behavior 49.2
“Program Equilibrium” · 2004
Cited alongside, same era.
In TARK ’09: 12th Conference on Theoretical Aspects of Rationality and Knowledge
“Program Equilibria and Discounted Computation Time” · 2009
Cited alongside, same era.
In Econometrica 80.1
“Definable and Contractible Contracts” · 2012
Cited alongside, same era.
URL: http://logic.cse.unt.edu/tarau/research/2013/cgoedel.pdf
“Bijective Size-proportionate Gödel Numberings for Term Algebras”, Unpublished manuscript, 2013 · 2013
Later among the works it cites.
“Robust Cooperation in the Prisoner’s Dilemma”, 2014 · 2014
Later among the works it cites.
In Multiagent Interaction without Prior Coordination: Papers from the AAAI-14 Workshop
“Program Equilibrium in the Prisoner’s Dilemma via Löb’s Theorem” · 2014
Later among the works it cites.
In AI Magazine 36.4
“Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter” · 2015
Later among the works it cites.
“Toward Idealized Decision Theory”, Preprint, 2015 · 2015
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“Research Priorities for Robust and Beneficial Artificial Intelligence: an Open Letter”, online, 2015 · 2015
Later among the works it cites.