اشار البروفسور الراحل جورج بولص (1940-1996 ) Boolos George الذي عمل استاذاً لعلم المنطق في معهد ماتشوتس للتقنيه ( MIT) الامريكي الشهير( Massauchusetts Institute of Technology ) الى ان اصعب لغز في العالم حتى الان هو لغز "الفتيات الثلاث" الذي ابتدعه استاذ المنطق الامريكي البروفسور ريموند سموليان (1917) Raymond Smullyan لذي يسموه المهتمون بالالغاز " الويز الاعظم " لمملكة المنطق وقد قام بولص بحل هذا اللغز في كتابه (1998) (Logic, Logic and Logic) الذي صدر بعد وفاته . وفيما يلي اللغز :
ثلالث فتيات هن ا, ب , ت واسماؤهن صادقه ( تقول الصدق دائماً ) , كاذبه (تقول الكذب دائماً ) , عشوائيه (تقول الصدق او الكذب بشكل عشوائي تماماً) .
المطلوب من القارئ ان يحدد هوية كل فتاة من الفتيات الثلاث ا , ب, ت بسؤالهن ثلاث اسئله فقط من النوع الذي يجب تكون اجابته ( نعم او لا ) , وان يوجه لكل فتاه سؤالاً واحداً فقط . ان الفتيات الثلاث يعرفن لغتك ويفهمن كلامك لكن اجابتهن على سؤالك بلغتهن الاصليه , فهن يستخدمن كلمتي ( دا )
"da" او ( جا ) "ja" للاجابه على الاسئله الثلاثه , ويعنين بذلك نعم او لا , لكن لا نعرف اي من الكلمتين تعني نعم ( دا او جا) !
فكيف يمكن معرفة هويتهن وفق الشروط المعطاه .