I have sometimes wondered whether our unconscious motive for doing so much useless work is to show that if we cannot make things work properly we can at least make them presentable.
"A builder who hides any part of the building frame, abandons the only permissible and, at the same time, the most beautiful embellishment of architecture. The one that hides a loadbearing column makes an error. The one who builds a false column commits a crime."
Contemporary architects are, however, increasingly engaging with ornamentation. The zenith was Grayson Perry and Charles Holland of FAT’s fairytale House for Essex (p64), but it does not serve as an indicator because the involvement of an artist has allowed an enhanced engagement with ornament until it surpasses mere decoration and becomes embodied in the architecture in a way that architects do not allow themselves to do. Think of FAT’s old work: the ornament is all contained within a surface - a facade - which allowed them to separate out the (Modernist) architecture from the (kitsch) superficiality of the elevation. Like Venturi before them, their ornament allowed them to have their ornamentally iced cake - and eat the Minimal Modernist sponge underneath.
Wang tiles (Hao Wang, 1961) are a class of formal systems. They are modelled visually by square tiles with a color on each side. A set of such tiles is selected, and copies of the tiles are arranged side by side with matching colors, without rotating or reflecting them.
The basic question about a set of Wang tiles is whether it can tile the plane or not, i.e., whether an entire infinite plane can be filled this way. The next question is whether this can be done in a periodic pattern.
In 1966, Wang's student Robert Berger solved the problem in the negative. He proved that no algorithm for the problem can exist, by showing how to translate any Turing machine into a set of Wang tiles that tiles the plane if and only if the Turing machine does not halt. The undecidability of the halting problem then implies the undecidability of Wang's tiling problem.