TEXT $ 0 ▀ Text1 + Text2 <P1><DROPCAP>E</DROPCAP>L MATEMÁTICO AUTODIDACTO inglés George Boole realizó una labor importante en muchas áreas de esta disciplina. Se dedicó entre otras materias al <HOT TARGET=621>cálculo</HOT> y a la teoría de la <HOT TARGET=184>probabilidad</HOT>. Sin embargo, se le recuerda principalmente por ser un pionero de la <HOT TARGET=622>lógica formal</HOT>. 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 <HOT TARGET=411>álgebra booleana</HOT> en términos de <HOT TARGET=623>valores reales</HOT>, llamados <HOT TARGET=624>cálculos proposicionales</HOT>, forma la base de los procesos digitales de la computación actual. </P1><TITLE>George Boole (1815–64)</TITLE>
