Boolos coauthored with richard jeffrey the first three editions of the classic university text on mathematical logic, computability and logic. Why the hardest logic puzzle ever cannot be solved. Jul 09, 2015 can you solve the hadest logic puzzle in the world. Feb 07, 2005 george boolos, a brilliant logician claimed this puzzle to be one of the hardest logic problems of all time. To be clear, there is a difference between lateral thinking puzzles and logic puzzles logic puzzles only require the information given in the problem.
How to solve the hardest logic puzzle ever in two questions. 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 hardest logic puzzle ever was first described by the late george boolos in the. Pdf a simple solution to the hardest logic puzzle ever. W e present the simplest solution ever to othe hardest logic puzzle evero. 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.
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. The notion that any puzzle could be the absolute, singular, hardest in the. And if you can solve it, you might just be a genius. Pdf we present the simplest solution ever to the hardest logic puzzle ever. Boolos hardest logic puzzle ever in its purest form. A simple solution to the hardest logic puzzle ever pdf free. Boolos credits the logician raymond smullyan as the originator of the puzzle and john mccarthy with adding the difficulty of not.
A simple solution to the hardest logic puzzle ever by brian rabern and landon rabern download pdf 199 kb. Three gods a, b, and care called, in ever, he was building on a series of some order, true, false, and. That right there completely explained the puzzle to me. Can you solve the worlds other hardest logic 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. Why the hardest logic puzzle ever cannot be solved in less. The hardest logic puzzle ever is a logic puzzle so called by american philosopher and. Three gods a, b, and c are called, in some order, true, false, and random. 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 suppose i have to take my logic classes over again. One god is the god of truth, who always tells the truth and can never lie. W e then modify the puzzle to make it even harder and give a simple solution to the modi. Raymond smullyan devised a logical puzzle that has no challengers i know of for the title of hardest logical puzzle ever. How to solve the worlds hardest logic puzzle facts so.
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. 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. Xkcds randall munroe tells a version of this puzzle, called blue eyes, that hes dubbed the hardest logic puzzle in the world. This is how i pass time on roadtrips, but im running out. The files are grouped by difficulty very easy, easy and medium and are a great activity for all ages. Which is the best math puzzle book available in pdf format. A simple solution to the har dest logic puzzle ever. Download and play for free our printable logic grid puzzles pdf.
He wrote a paper on the hardest logic puzzle ever one of many puzzles created by raymond smullyan. Three gods a, r, and c are called, in some order, true, false, and random. The final sections investigate exploding godheads and a. In particular we verify a solution rabern2008 to the socalled hardest logic puzzle ever. 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. The hardest logic puzzle ever becomes even tougher arxiv. 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. Pdf why the hardest logic puzzle ever cannot be solved. A brilliant mathematician designed this famously tough logic puzzle. Here is a collection of my most interesting and mindimproving brain teasers. The hardest logic puzzle ever the hardest logic puzzle.
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. Can you solve the 10 hardest logic puzzles ever created. The socalled hardest logic puzzle ever was coined as such by george boolos. Your task is to determine the identities of a, b, and c by asking three yesno questions. Recall boolos formulation of the hardest logic puzzle ever hlpe the puzzle. We shall then combine the ideas of their solu tions to solve the hardest puzzle. A model checker for the hardest logic puzzle ever abstract. Recently, he decided to try and find the most challenging ones out there. Sarah also knows that one of the guards always tells the truth and the other always lies. 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. If a giraffe has two eyes, a monkey has two eyes, and an elephant has two eyes, how many eyes do we have. Jun 28, 2014 just for fun quiz nimble number logic puzzle. We present the simplest solution ever to the hardest logic puzzle ever. I propose further modification of the original puzzle where part of the available information is eliminated but the solution is still possible.
His score was one of the highest ever recorded by an american. 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. 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. Boolos credits the logician raymond smullyan as the originator of the puzzle and the computer scientist john mccarthy with adding the dif. 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 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. The resulting program checks various theorems in fractions of seconds. 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. Lange t he first thing boolos tells us is you shouldnt make the mistake of crafting your questions all at once, like i. Apparently it is possible to solve with logic, though, according to the guy who invented this puzzle.
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. 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. We stress the fact that boolos instructs us to solve the puzzle by asking three yesno questions. Boolos credits the logician raymond smullyan as the originator of the puzzle. Three gods a, b, and c are called, in no particular order, true, false, and random. How to solve the hardest logic puzzle ever issue 30. There are two guards, and she can ask one yesno question to one of them. Boolos article includes multiple ways of solving the problem. 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 simplest solution to the ohardo puzzle the puzzle. But uzquianos puzzle is different from the original and different from rabern and raberns in at least one important respect. You are stranded on an island and on that island are 3 all knowing all powerful gods. If you should happen upon three questions that will unmask the gods, dont stop there. Hardest logic puzzle ever, we will set out and solve three related, but much easier, puzzles.
Reasoning about agent types and the hardest logic puzzle ever journal of logic, language and information 18, no. In the hardest logic puzzle ever, one must determine the true identities of gods named true, false, and random. Since its first appearance in 1956 there have been eight editions as well as translations from the or. The hardest logic puzzle ever made even harder mit. A simple solution to the hardest logic puzzle ever core. Detective riddles only the smartest can solve readers. 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.
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. The puzzle is fundamentally identical to greeneyed dragons, but. Rate 5 stars rate 4 stars rate 3 stars rate 2 stars rate 1 star. The second god is the god of lies, he always lies and never tells the truth. We then modify the puzzle to make it even harder and give a simple solution to the modified puzzle. A model checker for the hardest logic puzzle ever github. This article explores the socalled hardest logic puzzle ever, and shows how. Patrick min, a freelance scientific programmer has created number puzzles like calcudoku and killer sudoku for many years. An mit professor called this the hardest puzzle ever. American philosopher and logician george boolos described this puzzle and called it the hardest logic puzzle ever. This puzzle has the 1 on the 7th line in a different position as the questions. George boolos, a brilliant logician claimed this puzzle to be one of the hardest logic problems of all time.
A pile of text on paper is not a puzzle, it is a pile of text on paper. An interpreted pile of text on paper can be a puzzle. 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. Review of philosophy unter dem englischen titel the hardest logic puzzle ever erneut. Their paper ends with a twoquestion solution to the original puzzle, which does not carry over to the amended puzzle. Draft all solutions to the hardest logic puzzle ever. Three gods a, b and c are called, in some order, true, false. We implement the logics of agent types from liuwang20 in haskell. 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. 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.
Boolos credits the logician raymond smullyan as the originator of the puzzle and the computer scientist john. The solution also gives interesting ideas on logic behind discovery of unknown language. Andy is put in a cell with a dirt floor and only one window. Pdf why the hardest logic puzzle ever cannot be solved in. 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. A simple solution to the hardest logic puzzle ever pdf. But uzquianos puzzle is different from the original and different from rabern and raberns.
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 hardest logic puzzle in the world. Breaking the hardest logic puzzle ever for fun and profit medium. 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.
124 519 1255 759 962 311 202 1461 651 1301 1056 97 1485 251 476 181 974 438 1427 812 1163 905 926 432 941 424 1031 1010 1473 1175 685 966 708