Todas las funciones computables pueden ser calculadas por una máquina de Turing.
Los problemas no resolubles no pueden ser resueltos por ninguna máquina.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art