Boole, George

Categoria:

Biografía GER

Matemático inglés; n. en Lincoln el 2 nov. 1815 y m. en Cork el 8 dic. 1864. En 1849 había sido nombrado profesor de Matemáticas del Queen’s College de esta ultima ciudad; pasan de medio centenar sus publicaciones, que comenzaron en 1841 en la prestigiosa revista "Cambridge Mathematical Journal", y versan fundamentalmente sobre teoría de probabilidades y, más aún, sobre ecuaciones diferenciales, materia de la que era profesor.

No son éstos, sin embargo, los trabajos que le han dado fama, sino dos memorias que en su momento pasaron prácticamente inadvertidas: The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning (Cambridge 1847) y An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities (Londres 1854). Su idea de reducir la lógica deductiva a un cálculo semejante al algebraico, mediante una algoritmia adecuada tenía sus precedentes en el "calculus universalis" de Leibniz e incluso, más remotamente, en el simbolismo de Raimundo Lulio en el Ars Magna. Las investigaciones realizadas a partir de la obra de B. han tenido la asombrosa consecuencia de que una teoría elaborada dentro del más radical purismo científico haya incidido en las más inesperadas aplicaciones prácticas.

Las llamadas en su honor "álgebras de Boole" están hoy en la base de cualquier exposición matemática. Brevemente diríamos que una tal álgebra es un conjunto en el que se han definido dos operaciones binarias, que podemos llamar unión e intersección, y una operación unitaria llamada complemento; entre estas operaciones existen unas relaciones que caracterizan axiomáticamente el álgebra de B. El álgebra de conjuntos, base de la Matemática, y el álgebra de sucesos en el cálculo de probabilidades responden a esta estructura de álgebra booleana; pero también las proposiciones ligadas según las reglas de la lógica por las palabras "o’", "y" y "no", que sustituyen a unión, intersección y complemento, se rigen por el mismo modelo, y éste es el punto de partida del álgebra de proposiciones, base de una rama tan ampliamente cultivada como es hoy la lógica matemática; y si traducimos las mismas operaciones a circuitos eléctricos en los que la unión de dos conmutadores sea montarlos en serie y la intersección, en paralelo, se obtiene también un álgebra de B. binaria en la que se ha venido a basar todo el cálculo moderno de los ordenadores electrónicos.

JOSÉ J. ETAYO.

BIBL.: G. GIORGI, Compendio di Storia delle Matematiche, Turín 1948; M. D’OCAGNE, Histoire des Sciences Mathématiques, París 1955; R. RODRÍGUEZ VIDAL, "Gaceta Matemática" XVI (1964) 143-147.