The hardest logic puzzle ever becomes even tougher

06/09/2012
by   Nikolay Novozhilov, et al.
0

"The hardest logic puzzle ever" presented by George Boolos became a target for philosophers and logicians who tried to modify it and make it even tougher. I propose further modification of the original puzzle where part of the available information is eliminated but the solution is still possible. The solution also gives interesting ideas on logic behind discovery of unknown language.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/03/2018

Coins and Logic

We establish fun parallels between coin-weighing puzzles and knights-and...
research
04/11/2017

Beliefs and Probability in Bacchus' l.p. Logic: A 3-Valued Logic Solution to Apparent Counter-intuition

Fundamental discrepancy between first order logic and statistical infere...
research
04/14/2022

Another Combination of Classical and Intuitionistic Conditionals

On the one hand, classical logic is an extremely successful theory, even...
research
10/02/2020

Public Announcement Logic in HOL

A shallow semantical embedding for public announcement logic with relati...
research
08/12/2021

How to Make a New Logic

We discuss about how to make a new logic with considering a slogan: take...
research
02/13/2023

A Logic for Veracity

This paper shows the initial stages of development, from first principle...
research
10/04/2022

Logic and learning in network cascades

Critical cascades are found in many self-organizing systems. Here, we ex...

Please sign up or login with your details

Forgot password? Click here to reset