Three gods a, b, and c are called, in no particular order, true, false, and random. Apr 01, 2008 the socalled hardest logic puzzle ever is coined as such by george boolos. 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 being the hardest logic puzzle ever. This puzzle is a variation of the ace and jacks problem, a preliminary problem in the paper about the hardest logic puzzle ever. Welcome back to the weekly riddle series from popular mechanics. See more ideas about logic puzzles, puzzle books and puzzle. The implementation is standalone, while similar to demos5 veijck2007. Even harder than the hardest logic puzzle ever the solution how can we solve this puzzle. True always speaks truly, false always speaks falsely, but whether random speaks truly or falsely is a completely random matter. Why the hardest logic puzzle ever cannot be solved in less. An interpreted pile of text on paper can be a puzzle. In this paper they provide a solution to the hardest logic puzzle ever that needs only. Here is the riddle, straight from the mathematicians mouth.
George boolos, a brilliant logician claimed this puzzle to be one of the hardest logic problems of all time. We implement the logics of agent types from liuwang20 in haskell. Feb 07, 2005 at least you figurethe god of truthreread the first post you asked three your done, they will all answer either uga or booga and you dont know much. Lange t he first thing boolos tells us is you shouldnt make the mistake of crafting your questions all at once, like i. This is not really a tutorial, but an exceedingly hard logic puzzle for you to solve. Can you solve the hardest logic puzzle in the world. Three gods a, b, and c are called, in no particular. Hardest logic puzzle ever, we will set out and solve three related, but much easier, puzzles.
An astronaut is stranded on an alien world, and to get home they have to correctly identify three alien overlords using only yesno questions, but without knowing which alien word means yes and which means no. That right there completely explained the puzzle to me. If you prefer numbers over words, find the missing one in. 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. I originally found this in khan academys brain teaser section. W e then modify the puzzle to make it even harder and give a simple solution to the modi.
How to solve the worlds hardest logic puzzle facts so. Since then ive seen it around the web under the name blue eyes or the blue foreheads puzzle etc. Impossible toughest maze puzzle book your mission, should you choose to accept it, is to complete all mazes in your own time. Click here puzzle, and there is a puzzle doing you in. One god is the god of truth, who always tells the truth and can never lie. An mit professor called this the hardest puzzle ever. 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. Pdf we present the simplest solution ever to the hardest logic. Introduction the hardest logic puzzle ever, originally presented by boolos 1996, had already been amended several times in order to make it tougher.
Boolos credits the logician raymond smullyan as the originator of the. 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. Here is a collection of my most interesting and mindimproving brain teasers. Pdf how to solve the hardest logic puzzle ever in two questions.
Why the hardest logic puzzle ever cannot be solved in less than three questions. Today we try to help a naive fellow gain access to a shadowy guild of thieves. The solution also gives interesting ideas on logic behind discovery of unknown language. If a giraffe has two eyes, a monkey has two eyes, and an elephant has two eyes, how many eyes do we have. There is a classical answer which i have known as long as i can remember. What is the analog of the hardest puzzle in the constructive setting. Complete literate haskell documentation is in mchlpe. 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 john. Even harder than the hardest logic puzzle ever the. Feb 07, 2005 george boolos, a brilliant logician claimed this puzzle to be one of the hardest logic problems of all time. Three gods a, b, and c are called, in some order, true, false, and random. We make heavy use of haskells pattern matching and models are represented explicitly, using a custom data type based on lists.
You are stranded on an island and on that island are 3 all knowing all powerful gods. The socalled hardest logic puzzle ever was coined as such by george boolos. The hardest logic puzzle ever becomes even tougher arxiv. Draft all solutions to the hardest logic puzzle ever.
Teded writer alex gendler explains how to solve what he calls the hardest logic puzzle ever, the three gods riddle. Pdf a simple solution to the hardest logic puzzle ever. The socalled hardest logic puzzle ever is coined as such by george boolos. Rabern and rabern have noted the need to modify the hardest logic puzzle ever as presented in boolos 1996 in order to avoid trivialization. You and your team have crashlanded on an ancient planet. 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. Raymond smullyan devised a logical puzzle that has no challengers i know of for the title of hardest logical puzzle ever. But uzquianos puzzle is different from the original and different from rabern and raberns. Created by logician raymond smullyan, and popularized by his colleague george boolos, this riddle has been called the hardest logic puzzle ever. If ja means yes, then false will be unable to respond with a lie.
Hardest logic puzzle ever no backsies random just for fun or logic quiz can you name the letters ae, numbers 15, ten xs, and five 7s without guessing. Three gods, a, b, and c, are called, in some order, true, false, and random. 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. The simplest solution to the ohardo puzzle the puzzle. The answer is posted in another thread you can do a search. The final sections investigate exploding godheads and a. 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. Encouraged by the positive response, i decided to float an idea id had. Nov 17, 2017 welcome back to the weekly riddle series from popular mechanics. 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. Can you solve the 10 hardest logic puzzles ever created. 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. Patrick min, a freelance scientific programmer has created number puzzles like calcudoku and killer sudoku for many years.
A simple solution to the har dest logic puzzle ever. The hardest logic puzzle in the universesaid by arjun handa is a logic puzzle so called by. How to solve the hardest logic puzzle ever nautilus. Three gods a, r, and c are called, in some order, true, false, and random. Jul 09, 2015 can you solve the hadest logic puzzle in the world. 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. Since then ive seen it around the web under the name blue eyes or. Some months back, i posted a little brain teaser here on io9. In the hardest logic puzzle ever, one must determine the true identities of gods named true, false, and random. Top 10 almost unsolvable worlds hardest jigsaw puzzles. Rabern and rabern 2008 have modified the behavior of random to make it really random and avoid trivialization. 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. Boolos credits the logician raymond smullyan as the originator of the puzzle and the computer scientist john mccarthy with adding the difficulty of not knowing what da and ja mean. New scientist, volume 216, issues 28962897, 2229 december 2012, pages 5052.
I suppose i have to take my logic classes over again. Can you solve the worlds other hardest logic puzzle. Rate 5 stars rate 4 stars rate 3 stars rate 2 stars rate 1 star. A simple solution to the hardest logic puzzle ever mafiadoc. Boolos credits the logician raymond smullyan as the originator of the puzzle and the computer scientist john mccarthy with adding the dif. 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. The resulting program checks various theorems in fractions of seconds. 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. Can you appease the three alien overlords who rule it and get your team safely home. Contrafactuais, contradicao e o enigma logico mais dificil do mundo. A model checker for the hardest logic puzzle ever abstract.
A simple solution to the hardest logic puzzle ever. Reasoning about agent types and the hardest logic puzzle ever journal of logic, language and information 18, no. 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. Pdf why the hardest logic puzzle ever cannot be solved. What is the most difficult logic problem you have ever. A simple solution to the hardest logic puzzle ever pdf. Their paper ends with a twoquestion solution to the original puzzle, which does not carry over to the amended puzzle. How to solve the hardest logic puzzle ever in two questions. Then here is your chance to pit your brain against some of the worlds hardest logic puzzles ever created. Recently, he decided to try and find the most challenging ones out there. 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. The socalled hardest logic puzzle ever is the following riddle 1.
A numbers persistence is the number of steps required to reduce it to a single digit by multiplying all its digits to obtain a second number, then multiplying all the digits of that number to obtain a third number, and so on until a onedigit number is obtained. Click here one puzzle that really will leave you with spots before your eyes. But uzquianos puzzle is different from the original and different from rabern and raberns in at least one important respect. We shall then combine the ideas of their solu tions to solve the hardest puzzle. According to the late philosopher and logician george boolos, who was a great teacher and logician at mit, the hardest recreational logical puzzle is one that was invented by the logician and puzzlemaster raymond. Mar 12, 2017 this puzzle is a variation of the ace and jacks problem, a preliminary problem in the paper about the hardest logic puzzle ever. In particular we verify a solution rabern2008 to the socalled hardest logic puzzle ever. Jul 22, 2014 i originally found this in khan academys brain teaser section. A blue or red hat is placed on each of their heads randomly.
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. Ask one question and determine the way to the castle. The hardest logic puzzle ever the hardest logic puzzle. American philosopher and logician george boolos described this puzzle and called it the hardest logic puzzle ever. After having created number puzzles like calcudoku and killer sudoku for many years, i decided to try and find the most challenging ones out there. 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. A model checker for the hardest logic puzzle ever github. Breaking the hardest logic puzzle ever for fun and profit medium. George boolos original puzzle is stated as follows. W e present the simplest solution ever to othe hardest logic puzzle evero. One god always tells the truth, the other always lies.
1578 314 267 259 70 1464 159 1406 691 732 1069 690 1337 422 534 1602 487 859 1579 1250 274 941 1537 1479 136 834 1397 1376 1044 262 411 986 1069 552 950 761 1251