From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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

Paternité

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⟩
60 Consultations
68 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More