[isabelle] Surprise!



New AFP Article:

Surprise Paradox
Joachim Breitner

In 1964, Fitch showed that the paradox of the surprise hanging can be resolved by showing that the judgeâs verdict is inconsistent. His formalization builds on GÃdelâs coding of provability. In this theory, we reproduce his proof in Isabelle, building on Paulsonâs formalisation of GÃdelâs incompleteness theorems.

https://www.isa-afp.org/entries/Surprise_Paradox.shtml

Surprised?

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.