From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference - Coalgebraic Methods in Computer Science
Conference Papers Year : 2012

From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

Abstract

Diagonal arguments lie at the root of many fundamental phenomena in the foundations of logic and mathematics. Recently, a striking form of diagonal argument has appeared in the foundations of epistemic game theory, in a paper by Adam Brandenburger and H. Jerome Keisler [11]. The core Brandenburger-Keisler result can be seen, as they observe, as a two-person or interactive version of Russell’s Paradox.
Fichier principal
Vignette du fichier
978-3-642-32784-1_1_Chapter.pdf (302.94 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01539890 , version 1 (15-06-2017)

Licence

Identifiers

Cite

Samson Abramsky, Jonathan Zvesper. From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.1-19, ⟨10.1007/978-3-642-32784-1_1⟩. ⟨hal-01539890⟩
80 View
83 Download

Altmetric

Share

More