Russian philosophers

The system of Russian philosophers was defined by C. Lakos [#!Lakos:1994:OPNdefAndRel2CPN!#] for demonstration of multilevel activity. ⁴ A Russian philosopher differs from an ordinary philosopher in such a way that during thinking he imagines another system of Russian philosophers. He thinks about it until the imagined system deadlocks, i.e. until each the imagined philosopher hold left fork. Then he stops thinking and want to get his left fork and continue in obvious way.

To allow finite nesting of images we permit a Russian philosopher to imagine system of ordinary philosophers, as an alternative to Russian philosophers.

A Russian philosopher is defined incrementally from the ordinary one - see fig. . System of Russianphilosophers is specified by a class RDinner on fig. .