Някои хора са като раците – могат да вървят и назад. Когато им кажат „дадено е това“, вместо да се втурнат напред, те се оглеждат назад. Знаят че „истината, цялата истина и нищо друго освен истината“ се дава единствено в задачите за първи клас. Знаят че не са в първи клас и че много неща уж не са дадени, но могат да се видят с четене между редовете.
Ще дам за пример един проблем, измислен от Таня Хованова:
Измислих цяло положително число по-малко от 100, което се дели без остатък на 7. В добавък към тази публична информация, прошепнах на ухото на Алис колко са единиците на числото, а на ухото на Боб – колко са десетиците му. Алис и Боб са много добри в логиката, но разговорът може да ви се види нелогичен:
Алис: Не знам кое е числото.
Боб: Знам кое е числото.
Е, кое е числото?
Разни умни и учени коментатори са се впуснали да мислят за задачата, както и да пишат програми на разни програмни езици. Да, ама способността да пишеш програми на Python или Haskell не гарантира верността на решението ти. Какво да правим тогава?
Предлагам да прочетем условието внимателно и да намерим невидимите (неизречените) допускания:
1. Алис и Боб казват истината;
2. Става дума за състезание подобно на шаха: Алис е с белите фигури, а противниците се редуват. Победител е този, който пръв узнае числото.
3. Не можеш да пропуснеш реда си; наред ли си, то трябва да кажеш нещо (и то трябва да е вярно, вж. т. 1), дори да не е верният отговор.
Всяка информация е от полза на мислещия човек, без значение дали е голяма или малка. Алис би искала да може да каже първа кое е числото, но не е в състояние да го направи. Затова тя признава че не знае числото. Което означава че броят на единиците е число от списъка {1,4,7,8}. Признанието на Боб означава че броят на десетиците е едно от числата {2,7,9}. Което значи че числото на Таня е … защото …
Това е един от ключовете за бравата наречена „успешно решаване на проблеми“: да видиш невидимите за другите неща и да ги използваш, докато през това време те, запретнали ръкави, търчат напред и се правят че знаят какво правят.