| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
https://hal.inria.fr/hal-01539890
Contributor : Hal Ifip <>
Submitted on : Thursday, June 15, 2017 - 3:02:50 PM
Last modification on : Thursday, June 15, 2017 - 3:25:49 PM
Long-term archiving on: : Wednesday, December 13, 2017 - 12:53:28 PM
Contributor : Hal Ifip <>
Submitted on : Thursday, June 15, 2017 - 3:02:50 PM
Last modification on : Thursday, June 15, 2017 - 3:25:49 PM
Long-term archiving on: : Wednesday, December 13, 2017 - 12:53:28 PM
File
978-3-642-32784-1_1_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License