August 1st, 2010

Детская задачка

(Из статьи в "З-С")
Граф Пато играл в лото и проиграл пальто;
а графиня Пато не знала про то, что граф Пато играл в лото и проиграл пальто;
но граф Пато не знал про то, что графиня Пато не знает про то, что граф Пато играл в лото и проигран пальто;
а графиня Пато не знала про то...

Вопрос в том, бесконечна ли рекурсия, а если нет - то где ее нужно оборвать?

Не будем мучить дитю других в жару: незнание обрывается на графине Пато - в тот момент, когда она сама должна засвидетельствовать свое знание/незнание. Ergo, четвертая спиралька уже не проходит.

(Меланхолично) Если бы некоторые люди все же понимали, что рекурсии иногда должны и кончаться. Однако некоторые люди так любят свои теории, что готовы нарезать бесконечное число уровней.