Jede durch einen Algorithmus beschriebene Funktion ist berechenbar.
Die Menge der berechenbaren Funktionen ist endlich.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art