In effect, every one of these functions here can be thought of as formalizing and encapsulating, in computational terms, some facet of the intellectual achievements of our civilization.
Cada una de estas funciones puede considerarse como una forma de formalizar y encapsular, en términos computacionales, alguna faceta de los logros intelectuales de nuestra civilización.