Nos dice así, que no es posible calcular la complejidad medida por el tamaño de un programa,porque determinar dicha complejidad equivale a conocer el tamaño del más conciso de todos los programas que la calculan.