Rabern and rabern 2008 and uzquiano 2010 have each presented increasingly harder versions of the hardest logic puzzle ever boolos 1996, and each has provided a twoquestion solution to his predecessors puzzle. A simple solution to the har dest logic puzzle ever. George boolos, a brilliant logician claimed this puzzle to be one of the hardest logic problems of all time. We shall then combine the ideas of their solu tions to solve the hardest puzzle. Rabern and rabern have noted the need to modify the hardest logic puzzle ever as presented in boolos 1996 in order to avoid trivialization. Download and play for free our printable logic grid puzzles pdf.
The simplest solution to the ohardo puzzle the puzzle. This presentation of the puzzle includes some clarifications by later authors, and places the puzzle in the same world as the previous knights and knaves puzzles. The puzzle is fundamentally identical to greeneyed dragons, but. In 1996, the mathematical logician george boolos above published a paper describing the hardest logic puzzle ever which he attributed to the logician raymond smullyan. The files are grouped by difficulty very easy, easy and medium and are a great activity for all ages. A brilliant mathematician designed this famously tough logic puzzle. Xkcds randall munroe tells a version of this puzzle, called blue eyes, that hes dubbed the hardest logic puzzle in the world. We present the simplest solution ever to the hardest logic puzzle ever. We stress the fact that boolos instructs us to solve the puzzle by asking three yesno questions.
But uzquianos puzzle is different from the original and different from rabern and raberns in at least one important respect. Boolos credits the logician raymond smullyan as the originator of the puzzle and john mccarthy with adding the difficulty of not. In the hardest logic puzzle ever, one must determine the true identities of gods named true, false, and random. His score was one of the highest ever recorded by an american. W e present the simplest solution ever to othe hardest logic puzzle evero. Pdf why the hardest logic puzzle ever cannot be solved. This article explores the socalled hardest logic puzzle ever, and shows how. Jun 09, 2012 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. The last two puzzles are of a type that may be quite familiar to the reader, but the first one is not well known in fact the author made it up while. I suppose i have to take my logic classes over again. Can you solve the hardest logic puzzle in the world. Jun 28, 2014 just for fun quiz nimble number logic puzzle. Jul 09, 2015 can you solve the hadest logic puzzle in the world. This puzzle is a variation of the ace and jacks problem, a preliminary problem in the paper about the hardest logic puzzle ever.
Can you solve the 10 hardest logic puzzles ever created. The hardest logic puzzle ever is a logic puzzle so called by american philosopher and. The second god is the god of lies, he always lies and never tells the truth. Which is the best math puzzle book available in pdf format. I was struggling to understand why none of the brown eyed folk would think they had blue, but illustrating it in that manner really helped.
A pile of text on paper is not a puzzle, it is a pile of text on paper. Boolos credits the logician raymond smullyan as the originator of the puzzle and the computer scientist john. This puzzle has the 1 on the 7th line in a different position as the questions. How to solve the hardest logic puzzle ever in two questions gabriel uzquiano rabern and rabern 2008 have noted the need to modify the hardest logic puzzle ever as presented in boolos 1996 in order to avoid trivialization. Recall boolos formulation of the hardest logic puzzle ever hlpe the puzzle. Three gods a, b, and c are called, in some order, true, false, and random. The final sections investigate exploding godheads and a. Boolos article includes multiple ways of solving the problem. Draft all solutions to the hardest logic puzzle ever sander beckers 1 introduction the hardest logic puzzle ever is a puzzle introduced by boolos 1996, which has attracted quite a lot of attention from philosophers. How to solve the worlds hardest logic puzzle facts so. A model checker for the hardest logic puzzle ever github. This is how i pass time on roadtrips, but im running out. The hardest logic puzzle ever was first described by the late george boolos in the.
Your task is to determine the identities of a, b, and c by asking three yesno questions. This is a parlour game played by logicians since the hardest logic puzzle ever was first so named and solved by us logician george boolos shortly before his death in 1996. Find a solution, and you understand a little more about how to extract truth in a world where imperfect information abounds and perhaps, by the by, about the. Why the hardest logic puzzle ever cannot be solved in less. True always speaks truly, false always speaks falsely, but whether random speaks truly or falsely is a completely random matter. Sarah also knows that one of the guards always tells the truth and the other always lies. That right there completely explained the puzzle to me. In 2008, a clever paper by two graduate students, brian rabern and landon rabern, appeared in the philosophical journal analysis which gave a simpler solution to the puzzle than boolos gaveand furthermore claimed that.
The hardest logic puzzle ever1 by george boolos s o m e years a g o, t h e l o g i c i a n a n d p u z z l e m a s t e r raymond smullyan devised a logical puzzle that has n o challengers i know of for the title of hardest logical puzzle ever. Lange t he first thing boolos tells us is you shouldnt make the mistake of crafting your questions all at once, like i did, hoping that the assumeanddeduce strategy would pay off. Hardest logic puzzle ever, we will set out and solve three related, but much easier, puzzles. The hardest logic puzzle ever becomes even tougher arxiv.
Feb 07, 2005 i think you guys are missing something you cant find out the god of truth by asking will the next word you say mean no. A model checker for the hardest logic puzzle ever abstract. The hardest logic puzzle ever1 by george boolos s ome years ago, the logician and puzzlemaster raymond smullyan devised a logical puzzle that has no challengers i know of for the title of hardest logical puzzle ever. Many of the answers should give you a strategy for thinking, which will carry over to many other problems and provide you with thinking and problemsolving methods. To be clear, there is a difference between lateral thinking puzzles and logic puzzles logic puzzles only require the information given in the problem.
If a giraffe has two eyes, a monkey has two eyes, and an elephant has two eyes, how many eyes do we have. Download pdf 156 kb abstract rabern and rabern 2008 and uzquiano 2010 have each presented increasingly harder versions of the hardest logic puzzle ever boolos 1996, and each has provided a twoquestion solution to his predecessors puzzle. You are stranded on an island and on that island are 3 all knowing all powerful gods. Boolos coauthored with richard jeffrey the first three editions of the classic university text on mathematical logic, computability and logic. Three gods a, b, and c are called, in no particular order, true, false, and random. Raymond smullyan devised a logical puzzle that has no challengers i know of for the title of hardest logical puzzle ever. The socalled hardest logic puzzle ever was coined as such by george boolos. If you should happen upon three questions that will unmask the gods, dont stop there. Rate 5 stars rate 4 stars rate 3 stars rate 2 stars rate 1 star. How to solve the hardest logic puzzle ever issue 30. Three gods a, b, and care called, in ever, he was building on a series of some order, true, false, and.
I propose further modification of the original puzzle where part of the available information is eliminated but the solution is still possible. An interpreted pile of text on paper can be a puzzle. Boolos credits the logician raymond smullyan as the originator of the puzzle. How to solve the hardest logic puzzle ever in two questions.
The notion that any puzzle could be the absolute, singular, hardest in the. The resulting program checks various theorems in fractions of seconds. The hardest logic puzzle ever made even harder mit. This is a parlour game played by logicians since the hardest logic puzzle ever was first so named and solved by us logician george boolos shortly before. A simple solution to the hardest logic puzzle ever core. Recently, he decided to try and find the most challenging ones out there. Three gods a, b and c are called, in some order, true, false. Patrick min, a freelance scientific programmer has created number puzzles like calcudoku and killer sudoku for many years. The hardest logic puzzle ever george boolos published a form of this puzzle in 1996, boldly naming it the hardest logic puzzle ever, and many who try it agree that it deserves that title. One god is the god of truth, who always tells the truth and can never lie.
Here is a collection of my most interesting and mindimproving brain teasers. Review of philosophy unter dem englischen titel the hardest logic puzzle ever erneut. Apparently it is possible to solve with logic, though, according to the guy who invented this puzzle. A simple solution to the hardest logic puzzle ever pdf free. We then modify the puzzle to make it even harder and give a simple solution to the modified puzzle. Lange t he first thing boolos tells us is you shouldnt make the mistake of crafting your questions all at once, like i. It is a requirement that all the gods, including random whose behavior is determined by the outcome of flipping a coin in its head, are always obliged to answer. We implement the logics of agent types from liuwang20 in haskell. Pdf why the hardest logic puzzle ever cannot be solved in. W e then modify the puzzle to make it even harder and give a simple solution to the modi. Why the hardest logic puzzle ever cannot be solved. Pdf we present the simplest solution ever to the hardest logic puzzle ever.
The hardest logic puzzle ever1 by george boolos s ome years ago, the logician and puzzle master raymond smullyan devised a logical puzzle that has no challengers i know of for the title of hardest logical puzzle ever. Why the hardest logic puzzle ever cannot be solved in less than three questions. Boolos credits the logician raymond smullyan as the originator of the puzzle and the computer scientist john mccarthy with adding the dif. He wrote a paper on the hardest logic puzzle ever one of many puzzles created by raymond smullyan. Their paper ends with a twoquestion solution to the original puzzle, which does not carry over to the amended puzzle. 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. And if you can solve it, you might just be a genius.
The hardest logic puzzle ever the hardest logic puzzle. A simple solution to the hardest logic puzzle ever pdf. In particular we verify a solution rabern2008 to the socalled hardest logic puzzle ever. A simple solution to the hardest logic puzzle ever by brian rabern and landon rabern download pdf 199 kb. Boolos hardest logic puzzle ever in its purest form.
Detective riddles only the smartest can solve readers. The solution also gives interesting ideas on logic behind discovery of unknown language. Draft all solutions to the hardest logic puzzle ever. Feb 07, 2005 george boolos, a brilliant logician claimed this puzzle to be one of the hardest logic problems of all time. There are two guards, and she can ask one yesno question to one of them.
Reasoning about agent types and the hardest logic puzzle ever journal of logic, language and information 18, no. Although not dissimilar in appearance from many other simpler puzzles involving gods or tribesmen who always tell the truth or always lie, this puzzle has several features that make the solution far from trivial. The purpose of this note is to offer a twoquestion solution to the latter puzzle, which is, after all, the one with a claim to. Three gods a, r, and c are called, in some order, true, false, and random. Since its first appearance in 1956 there have been eight editions as well as translations from the or. Why the hardest logic puzzle ever cannot be solved in less than three questions1 gregory wheeler and pedro barahona rabern and rabern 2008 and uzquiano 2010 have each presented increasingly harder versions of the hardest logic puzzle ever boolos 1996, and each has provided a two. American philosopher and logician george boolos described this puzzle and called it the hardest logic puzzle ever. Breaking the hardest logic puzzle ever for fun and profit medium. But uzquianos puzzle is different from the original and different from rabern and raberns.
898 786 1381 1043 725 349 1134 1314 985 836 1145 28 566 316 755 130 1417 503 369 1103 1462 1033 62 683 1015 1035 197 445 254 913 319 1037 837 353 821 1 6 108 402 736 1404 430