TEXT $ 0 ß Text1 + Text2 EL MATEMÁTICO AUTODIDACTO inglés George Boole realizó una labor importante en muchas áreas de esta disciplina. Se dedicó entre otras materias al cálculo y a la teoría de la probabilidad. Sin embargo, se le recuerda principalmente por ser un pionero de la lógica formal. Boole desarrolló un método de reducir las proposiciones lógicas a proposiciones algebraicas usando un simple grupo de símbolos. A pesar de que los lógicos han perfeccionado el grupo de símbolos, el sistema básico de Boole todavía se utiliza. Una interpretación del álgebra booleana en términos de valores reales, llamados cálculos proposicionales, forma la base de los procesos digitales de la computación actual. George Boole (1815–64)