Por otro lado, como abstracción formalizada de cálculo, el desarrollo lógico-matemático adquiere un papel importantísimo en la investigación científica y una aplicación que ha transformado profundamente los modos de producción y de vida de la sociedad actual: la informática.