Zeitschriftenartikel: Surprise Paradox

[breitner16surprise_afp]

Joachim Breitner, Surprise Paradox, Archive of Formal Proofs, July 2016. Formal proof development

Zusammenfassung

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.

Download

[Link]

BibTeX

@article{breitner16surprise_afp,
  title = {Surprise Paradox},
  year = {2016},
  month = jul,
  journal = {Archive of Formal Proofs},
  author = {Joachim Breitner},
  note = {Formal proof development},
  url = {https://www.isa-afp.org/entries/Surprise\_Paradox.shtml},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr. rer. nat. Joachim Breitner