From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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 Consultations
83 Téléchargements

Altmetric

Partager

More