On the other hand, it is not a piece of cake to exhibit one for all to see. Strange loops are shy creatures, and they tend to avoid the light of day. The quintessential example of this phenomenon, in fact, was only discovered in 1930 by Kurt Gödel, and he found it lurking in, of all places, the gloomy, austere, supposedly paradox-proof castle of Bertrand Russell’s theory of types.
