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

07/08/1999
by   Anand Venkataraman, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/16/2020

A New Connective in Natural Deduction, and its Application to Quantum Computing

We investigate an unsuspected connection between non harmonious logical ...
research
10/25/2017

Logical relations for coherence of effect subtyping

A coercion semantics of a programming language with subtyping is typical...
research
05/21/2020

Chang's lemma via Pinsker's inequality

Extending the idea in [Impagliazzo, R., Moore, C. and Russell, A., An en...
research
06/06/2023

An ecumenical view of proof-theoretic semantics

Debates concerning philosophical grounds for the validity of classical a...
research
01/26/2022

Linear lambda-calculus is linear

We prove a linearity theorem for an extension of linear logic with addit...
research
08/05/2022

Basic Elements of Logical Graphs

We considers how a particular kind of graph corresponds to multiplicativ...
research
09/05/2018

Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

Twenty years ago, in an article titled "Covariance and contravariance: c...

Please sign up or login with your details

Forgot password? Click here to reset