Formalizing the unexpected hanging paradox: a classical surprise

DOI10.1007/978-3-031-40875-5_4zbMath1528.68398OpenAlexW4385445168MaRDI QIDQ6139086

Polina Vinogradova

Publication date: 16 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-40875-5_4

zbMATH Keywords

paradoxconstructive logicCoqformalizationsurprise examinationunexpected hanging

Mathematics Subject Classification ID

General logic (03B99) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• How to expect a surprising exam
• Taken by surprise: the paradox of the surprise test revisited
• Higher-Order Modal Logics: Automation and Applications
• The Surprise Examination Paradox and the Second Incompleteness Theorem
• Independence, randomness and the axiom of choice
• Axiom of Choice and Complementation
• The Surprise Examination or Unexpected Hanging Paradox
• A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS

This page was built for publication: Formalizing the unexpected hanging paradox: a classical surprise