No information can be conveyed by certain events: The case of the clever widows of Fornicalia and the Stobon Oracle

1999/07/08 by Anand Venkataraman, Venkataraman, Anand, Ray Kemp +1
Arts and Humanities · Computer Science · #Classical Philosophy and Thought #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.GL #cs.LO

paper · pdf · doi:10.48550/arxiv.cs/9907014

17 pgs; dbl spc

arxiv created 1999/07/08 · arxiv updated 2011/11/09

Abstract

In this short article, we look at an old logical puzzle, its solution and proof and discuss some interesting aspects concerning its representation in a logic programming language like Prolog. We also discuss an intriguing information theoretic aspect of the puzzle.

Related

• The hardest logic puzzle ever becomes even tougher
• First-order logic with incomplete information
• On a Crucial Problem in Probabilities and Solution
• Symmetry of Information: A Closer Look
• A logical treatment of noise: Solving The Hardest Logic Puzzle Ever and its generalizations