[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.



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

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