Demuestra que las Máquinas de Turing son más potentes que las computadoras electrónicas
Establece la equivalencia entre las Máquinas de Turing y los modelos de computación actuales
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art