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.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|