Ivan Pyltsyn gave a talk on the topic of "Formalization of the Unexpected Hanging Paradox"

Ivan Pyltsyn made a presentation at the research workshop "From the Logical Point of View", which took place on September 13.

Abstract.

The unexpected hanging paradox (or the paradox of an unexpected exam), while having a fairly simple formulation, does not have an equally simple formalization. Moreover, upon closer examination, it is hypothesized that the key effects for solving the paradox that arise in the rational agent model go back to the effects of rather complex formal mathematical systems (such as Peano arithmetic). The talk is aimed to consider several options for formalizing the paradox and discuss whether they meet the intuitions associated with the paradox.