332:
218:
202:
186:
270:
246:
22:
88:
53:
98:
280:
371:
Three Gods, A B and C, are called, in some order, True False and Random. True always speaks truly, False always speaks falsely, but whether Random speaks truly or falsely is a completely random matter. Your task is to determine the identities of A, B and C by asking three yes-no questions; each
402:, if I am not mistaken. (For the record, I don't think it's the hardest logic problem in the world, though it is a pretty good one. And yes, I did solve it myself. That strikes me as the best evidence that it's no that difficult: I'm just not that smart.)
372:
question must be put to exactly one God. The Gods understand
English, but will answer all questions in their own language, in which the words for 'yes' and 'no' are 'da' and 'ja', in some order. You do not know which word means which.
547:
346:
542:
527:
522:
532:
341:
256:
552:
417:
This article was automatically assessed because at least one WikiProject had rated the article as start, and the rating on other projects was brought up to start class.
119:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
225:
193:
71:
63:
497:
487:
156:
146:
502:
492:
435:
and the influence of
Russell's paradox on it. At the end, the sentence "The resulting system has since been the subject of intense work" has the tag
482:
398:, in case anyone finds it easier to looks for it there, under the title, "The Hardest Logic Problem in the World." The puzzle itself is credited to
557:
537:
298:
512:
121:
302:
507:
517:
306:
297:, a collaborative effort to create, develop and organize Knowledge's articles about people. All interested editors are invited to
111:
58:
293:
251:
33:
209:
67:
440:
21:
464:
387:
378:
39:
460:
418:
403:
459:) — which discusses Frege Arithmetic almost exclusively — be considered as a suitable citation?
331:
384:
103:
399:
285:
431:
In the article, the 3rd paragraph of the section Work mentions Boolos' work on Frege's
456:
452:
217:
201:
185:
476:
468:
368:
The following was presented by Boolos in the
Harvard Review of Philosophy, 1996.
269:
245:
275:
116:
93:
115:, a collaborative effort to improve the coverage of content related to
421:
406:
87:
52:
305:. For instructions on how to use this banner, please refer to the
15:
330:
216:
200:
184:
447:. Would a reference to, for instance, Richard Heck's book
548:
Low-importance biography (science and academia) articles
543:
Start-Class biography (science and academia) articles
167:
528:Low-importance Contemporary philosophy articles
8:
523:Start-Class Contemporary philosophy articles
533:Contemporary philosophy task force articles
19:
375:Now can anyone figure out the answer? (c;
240:
164:
47:
553:Science and academia work group articles
377:If anyone needs a hint, let me know on
242:
49:
125:about philosophy content on Knowledge.
7:
291:This article is within the scope of
109:This article is within the scope of
498:Low-importance philosopher articles
342:the science and academia work group
38:It is of interest to the following
488:Low-importance Philosophy articles
14:
503:Philosophers task force articles
493:Start-Class philosopher articles
278:
268:
244:
131:Knowledge:WikiProject Philosophy
96:
86:
51:
20:
483:Start-Class Philosophy articles
315:Knowledge:WikiProject Biography
151:This article has been rated as
134:Template:WikiProject Philosophy
558:WikiProject Biography articles
538:Start-Class biography articles
318:Template:WikiProject Biography
1:
513:Low-importance logic articles
422:04:03, 10 November 2007 (UTC)
339:This article is supported by
303:contribute to the discussion
457:list of Heck's publications
426:
574:
508:Start-Class logic articles
469:11:33, 3 August 2014 (UTC)
157:project's importance scale
518:Logic task force articles
407:07:13, 5 March 2006 (UTC)
390:03:36, 21 Feb 2005 (UTC)
338:
263:
224:
208:
192:
163:
150:
81:
46:
413:WikiProject class rating
396:Logic, Logic, and Logic
226:Contemporary philosophy
168:Associated task forces:
335:
221:
205:
189:
112:WikiProject Philosophy
28:This article is rated
334:
294:WikiProject Biography
220:
204:
188:
257:Science and Academia
427:Frege's Basic Law V
137:Philosophy articles
394:also available in
336:
321:biography articles
222:
206:
190:
122:general discussion
34:content assessment
361:
360:
357:
356:
353:
352:
239:
238:
235:
234:
231:
230:
104:Philosophy portal
565:
446:
445:
439:
400:Raymond Smullyan
323:
322:
319:
316:
313:
299:join the project
288:
286:Biography portal
283:
282:
281:
272:
265:
264:
259:
248:
241:
175:
165:
139:
138:
135:
132:
129:
106:
101:
100:
99:
90:
83:
82:
77:
74:
55:
48:
31:
25:
24:
16:
573:
572:
568:
567:
566:
564:
563:
562:
473:
472:
449:Frege's Theorem
443:
441:Citation needed
437:
436:
429:
415:
373:
366:
320:
317:
314:
311:
310:
284:
279:
277:
254:
173:
136:
133:
130:
127:
126:
102:
97:
95:
75:
61:
32:on Knowledge's
29:
12:
11:
5:
571:
569:
561:
560:
555:
550:
545:
540:
535:
530:
525:
520:
515:
510:
505:
500:
495:
490:
485:
475:
474:
428:
425:
419:BetacommandBot
414:
411:
410:
409:
382:
376:
370:
365:
362:
359:
358:
355:
354:
351:
350:
347:Low-importance
337:
327:
326:
324:
290:
289:
273:
261:
260:
249:
237:
236:
233:
232:
229:
228:
223:
213:
212:
207:
197:
196:
191:
181:
180:
178:
176:
170:
169:
161:
160:
153:Low-importance
149:
143:
142:
140:
108:
107:
91:
79:
78:
76:Low‑importance
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
570:
559:
556:
554:
551:
549:
546:
544:
541:
539:
536:
534:
531:
529:
526:
524:
521:
519:
516:
514:
511:
509:
506:
504:
501:
499:
496:
494:
491:
489:
486:
484:
481:
480:
478:
471:
470:
466:
462:
458:
454:
450:
442:
434:
424:
423:
420:
412:
408:
405:
404:Captain Wacky
401:
397:
393:
392:
391:
389:
386:
380:
369:
363:
348:
345:(assessed as
344:
343:
333:
329:
328:
325:
308:
307:documentation
304:
300:
296:
295:
287:
276:
274:
271:
267:
266:
262:
258:
253:
250:
247:
243:
227:
219:
215:
214:
211:
203:
199:
198:
195:
187:
183:
182:
179:
177:
172:
171:
166:
162:
158:
154:
148:
145:
144:
141:
124:
123:
118:
114:
113:
105:
94:
92:
89:
85:
84:
80:
73:
69:
65:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
448:
433:Grundgesetze
432:
430:
416:
395:
379:my talk page
374:
367:
340:
292:
194:Philosophers
152:
120:
110:
72:Contemporary
64:Philosophers
40:WikiProjects
461:YuujiSajaki
30:Start-class
477:Categories
128:Philosophy
117:philosophy
59:Philosophy
453:Book info
312:Biography
252:Biography
388:Herboso
364:Untitled
155:on the
36:scale.
210:Logic
68:Logic
465:talk
385:Eric
301:and
455://
147:Low
479::
467:)
444:}}
438:{{
383:-
349:).
255::
174:/
70:/
66:/
62::
463:(
451:(
381:.
309:.
159:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.